Matrice Jacobine comments on Jacob_Hilton’s Shortform

[Matrice Jacobine]

I think one can make a stronger claim that the Curry-Howard isomorphism mean a superhuman (constructive?) mathematician would near-definitionally be a superhuman (functional?) programmer as well.