10
Jakie są najciekawsze równoważniki wynikające z izomorfizmu Curry-Howarda?
Z izomorfizmem Curry-Howarda zetknąłem się stosunkowo późno w moim życiu programistycznym i być może przyczynia się to do tego, że jestem nim całkowicie zafascynowany. Oznacza to, że dla każdej koncepcji programowania istnieje dokładny odpowiednik w logice formalnej i na odwrót. Oto „podstawowa” lista takich analogii, prosto z mojej głowy: program/definition …