Philip Wadler makes a fun note about today’s programming languages:
“Most of you use programming languages that are invented, and you can tell, can’t you?”
I recommend watching his whole talk Propositions as Types!
Philip Wadler makes a fun note about today’s programming languages:
“Most of you use programming languages that are invented, and you can tell, can’t you?”
I recommend watching his whole talk Propositions as Types!