I like flying aeroplanes. https://www.youtube.com/watch?v=2V1FtfBDsLU&feature=youtu.be&t=52m7s …
-
-
Replying to @dibblego
"in fact, we can't tell *anything* about 'foobar :: [a] -> [a]' without a name" displays a serious lack of knowledge of parametricity
3 replies 2 retweets 4 likes -
Replying to @jedws
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.
1 reply 0 retweets 1 like -
Replying to @dibblego
his take on static typing https://www.youtube.com/watch?v=2V1FtfBDsLU&feature=youtu.be&t=66m5s …
2 replies 0 retweets 1 like -
he says `[a] -> [a]` tells you *nothing* and it means nothing – this is arrant nonsense
2 replies 0 retweets 2 likes -
He's close. He even says aloud the invariant of parametricity. His failure is to lose sight of how much worse it is without parametricity.
1 reply 0 retweets 0 likes -
that is why it seems like wilful ignorance or artifice, rather than simply failure of appreciation
1 reply 0 retweets 1 like -
I agree. He's very likely even heard the term "parametricity." There's no justification for this I can accept.
1 reply 0 retweets 2 likes
He is clearly picking on an example, and details therein, that I have talked about many times. …and failing.
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.