curry-howard

Me encontré con el isomorfismo de Curry-Howard relativamente tarde en mi vida de programación, y tal vez esto contribuye a qu ... tion | syllogism -- from Apocalisp continuation-passing | double negation -- from camccann

He buscado en Internet, y no puedo encontrar ninguna explicación del CHI que no degenere rápidamente en una conferencia sobre ... harías esto. Eso parece tener sentido, pero no es muy interesante . Así que claramente tiene que haber algo más que esto...

Set, de manera similar a [] tiene unas operaciones monádicas perfectamente definidas. El problema es que requieren que los va ... . Así que, tal vez, podría haber casos cuando envolver un cálculo en la mónada continuación hará exponencialmente más largo?)