This slides on parametricity are absolutely brilliant: http://dl.dropboxusercontent.com/u/7810909/media/doc/parametricity.pdf … - thanks @dibblego
-
-
This Tweet is unavailable.
-
Replying to @pigworker
@pigworker@dibblego and you're getting at there's more to polymorphism than parametricity?1 reply 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @pigworker
@pigworker@puffnfresh The conflation was deliberate. I may regret this.1 reply 0 retweets 0 likes -
This Tweet is unavailable.
Replying to @pigworker
@pigworker @puffnfresh I agree. I covered partiality monad (non-totality as an effect) a little in the talk, but not appreciatively.
4:04 PM - 26 Nov 2013
0 replies
0 retweets
0 likes
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.