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 …
-
Show this thread
-
Exercise for the reader: add COME FROM
1 reply 1 retweet 6 likesShow this thread -
Replying to @edwinbrady
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.
1 reply 0 retweets 0 likes
Replying to @ejenk
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.
4:12 PM - 9 Apr 2020
0 replies
0 retweets
3 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.