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 totality excludes Turing-completeness in the same was Haskell excludes side-effects, right?2 replies 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh@pigworker I'm hoping that this is the take away point https://github.com/tonymorris/parametricity/blob/master/fast-and-loose-reasoning.tex#L177 … hopefully enough emphasis. /cc@etorreborre1 reply 0 retweets 1 like -
This Tweet is unavailable.
-
Replying to @pigworker
@pigworker@puffnfresh@etorreborre I agree and I thank you for the punishment. Handwaving facts for convenience rarely works out.1 reply 0 retweets 0 likes -
This Tweet is unavailable.
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.