Incidentally, for those who are interested in this sort of thing, Whitespace is essentially the G-machine with a weird syntax. You could probably use it as a target for a functional language. I keep thinking I should try that...
-
-
Show this thread
-
Well, okay, that's oversimplifying. Support for closures is a bit weak. What can I say... It was late on a Saturday, patches welcome :).
Show this thread
End of conversation
New conversation -
-
-
Whitespace is one of those two-in-one learning experiences: 1) What's required to express computability is *small* 2) The computing power of a language has *nothing* to do with its readability It's an important reductio ad absurdum en route to enlightenment.
-
I like to use it as support for my (and others...) claim that Turing Completeness is Overrated :).
- 2 more replies
New conversation -
-
-
It's better than "The whitespace dude", you'll be haunted by this one for the rest of your life :D
-
A long time ago I decided that this was a good thing :). As a waste of an evening while procrastinating on thesis writing, it's served me amusingly well...
- 5 more replies
New conversation -
-
This Tweet is unavailable.
-
-
Didn’t he also invent Idris? - We don’t talk about dependently typed languages in this house.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.