Mon Mar 30 14:35:22 CEST 2009

Stacks and Lambda

To be fair, I have to admit that my earlier obsession with using Forth
and stacks (early Packet Forth and Badnop) for everything was a
delusion rooted in ignorance.  For general purpose programming the
lambda calculus extended with some useful binding forms is a much
better model.

However, this obsession did put me on quite an interesting path about
functional programming and staging, and the use of stack machines as
compilation targets with a human-programmable/readable machine

Forth is slightly more abstract than register/memory machines which
have no locality at all.  You need stacks..  So better embrace them.