#forth

An Elegant Stack Machine

Introduction Lately I’ve been fascinated with simple models of computation. It’s astounding to me that systems like the lambda calculus and SKI combinators, defined in just a few lines, can express any computable function. But there’s one thing in pa...