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
-
Replying to @edwinbrady
That's a lot of custom code. Can it be expressed as the instantiation of some general concept which can be librarized? Graded monads?
2 replies 0 retweets 3 likes
Replying to @gergo_erdi
Probably, but it didn't seem worth it for what is just a bit of a silly joke... Another exercise for the reader perhaps!
2:25 AM - 10 Apr 2020
0 replies
0 retweets
2 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.