10
Apa persamaan paling menarik yang muncul dari Curry-Howard Isomorphism?
Saya menemukan Curry-Howard Isomorphism relatif terlambat dalam kehidupan pemrograman saya, dan mungkin ini berkontribusi pada saya yang benar-benar terpesona olehnya. Ini menyiratkan bahwa untuk setiap konsep pemrograman terdapat analog yang tepat dalam logika formal, dan sebaliknya. Berikut adalah daftar "dasar" dari analogi semacam itu, di luar kepala saya: program/definition | …