Forsp:一种 Forth 和 Lisp 的混合 Lambda 演算语言

2024-06-11

Forsp 是一种将 Forth 和 Lisp 结合起来的新型编程语言,它基于 Lambda 演算,语法类似 Lisp,使用 S 表达式,函数抽象也类似 Lisp,但函数应用像 Forth。Forsp 拥有类似 Lisp 的环境结构和词法作用域闭包,使用 Cons-cell、列表和原子,并像 Forth 一样使用值/操作数堆栈。它能够表达 Lambda 演算,采用按值传递调用顺序,只有三个语法特殊形式:'、^、$,只有一个求值时特殊形式:quote,只需要 10 个基本函数即可自我实现。

未分类 Lambda 演算 Forsp