Conversation
Replying to
There's a cool chapter in Types and Programming Languages on this!
Replying to
... I could go over the top here. I get a real kick out of seeing these, I guess, essential ideas become somehow boringly real :). `->` seems to be a pretty good primitive :P
1
It can be handy to have other things so that compilation is easier, though :)
1
Show replies