Sorry for being pedantic but isn't the story that types=theorems and programs=pr... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ngruhn 6 months ago \| parent \| context \| favorite \| on: To be a better programmer, write little proofs in ... Sorry for being pedantic but isn't the story that types=theorems and programs=proofs?

sitkack 6 months ago [–]

"Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact