Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Forsp is a unique hybrid language that combines Forth and Lisp, aptly named for its functionality. It features a simple syntax, minimal syntax special forms, and a core function called “compute”. Surprisingly, Forsp can express Lambda Calculus through simple re-write rules. It employs Call-By-Push-Value evaluation, offering both determinism and laziness. Forsp implements recursion using the Y Combinator and emphasizes stack manipulation as a core aspect of its functionality. The language is shockingly expressive, with unexpected discoveries and features like currying, partial evaluation, and power in simplicity. Forsp’s simplicity belies its powerful computational capabilities, making it a fascinating language worth exploring.

To top