A discussion about a student assignment I've just set has reminded me of this entertaining IOCCC winner from @Augustsson https://www.ioccc.org/years.html#1996_august …
Ooh, where is yours? He gave a talk about his at a dependent types workshop several years ago, partly to encourage us to write programs which did something vaguely practical...
-
-
http://www.ioccc.org/years.html#1998_fanf … The functional side of it is relatively well documented; the bit I no longer understand is the preprocessor trickery with mismatched brackets and shit that builds the initial expression graph
-
It’s a conventional turner-style SK combinator reduction engine that uses a vaguely monadic io model passing around a token representing the state of the world
- 3 more replies
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.