This slides on parametricity are absolutely brilliant: http://dl.dropboxusercontent.com/u/7810909/media/doc/parametricity.pdf … - thanks @dibblego
-
This Tweet is unavailable.
-
@pigworker@dibblego totality excludes Turing-completeness in the same was Haskell excludes side-effects, right?
@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 @etorreborre
-
-
This Tweet is unavailable.
-
@pigworker@puffnfresh@etorreborre I agree and I thank you for the punishment. Handwaving facts for convenience rarely works out.
End of 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.