10
Những điểm tương đương thú vị nhất nảy sinh từ thuyết Isomorphism của Curry-Howard là gì?
Tôi đến với Thuyết Isomorphism Curry-Howard tương đối muộn trong cuộc đời lập trình của mình, và có lẽ điều này góp phần khiến tôi hoàn toàn bị cuốn hút bởi nó. Nó ngụ ý rằng đối với mọi khái niệm lập trình đều tồn tại một tương tự chính …