I like flying aeroplanes. https://www.youtube.com/watch?v=2V1FtfBDsLU&feature=youtu.be&t=52m7s …
-
"in fact, we can't tell *anything* about 'foobar :: [a] -> [a]' without a name" displays a serious lack of knowledge of parametricity
lol I missed that bit. Pretty sure I have given a talk, where I did in fact, tell a thing about that type without a name.
-
-
his take on static typing https://www.youtube.com/watch?v=2V1FtfBDsLU&feature=youtu.be&t=66m5s …
-
why, why are you watching?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.