主要观点：介绍了一种名为 Forsp 的 Forth + Lisp 混合 lambda 演算语言，它结合了 Forth 和 Lisp 的特性，具有简单而强大的表达能力。
关键信息：

• 语法：具有类似 Lisp 的 S-Expression 语法，特殊形式有 ' ^ $ ，eval 时只有 quote 为特殊形式。
• 计算：通过处理类似 Forth 的指令列表进行计算，函数操作隐式使用操作数/值栈，有 thunking 和 forcing 机制。
• lambda 演算：可通过简单的重写/重排序规则表达 lambda 演算，抽象用 ($x M) 表示，应用用 ^N M 表示。
• Call-By-Push-Value（CBPV）：既具有 CBV 语言的确定性/急切性，又有 CBN 语言的延迟/惰性，通过 thunking 和 forcing 实现。
• 递归：通过 Y 组合子解决递归问题，实现经典的递归函数如阶乘。
• 实现：约 600 行干净的 C 代码，核心 eval/compute 例程简单，有 10 个核心原语和一些额外的原语，还可实现自举。
• 意外发现：在思考 CBPV 和 minimalist 引导语言时偶然发现，感觉比 Lisp 和 Forth 更基础、更强大，代码可多种方式表达等。
  重要细节：
• 特殊形式解析：' 转换为 quote ，^ 转换为 quote 后 push ，$ 转换为 quote 后 pop 。
• 实现细节：核心原语的具体功能，如 prim_push 等，以及低级别函数的实现（如 USE_LOWLEVEL 相关）。
• 自举实现：eval/compute 例程简洁，全实现不到 80 行 Forsp 代码，包含各种函数和操作。
• 示例和资源：提供了很多示例可探索，repository 地址为 https://github.com/xorvoid/fo... ，还有其他相关资源如阅读其他文章、RSS feed 、买咖啡等链接。