I was just reminded about Intercal's feature that requires you to be polite (but not too polite) and wondered if you could do that in the type system. Of course you can!https://gist.github.com/edwinb/37dd7d40b796264c769a67ca3f73a37c …
-
-
COME FROM really blew my mind as a kid because I didn’t have a good mental model of program compilation, so I couldn’t figure out how it could possibly work.
-
A couple of us went and asked our compilers lecturer about how it might work when we were undergrads. We thought he'd tell us to go away, but instead he told us about a time when he'd implemented it as a joke.
End of conversation
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.