极简依赖类型SK演算：Rohlang3项目探秘

Rohan Ganapavarapu 的 Rohlang3 项目是一个用 Rust 编写的极简语言实验，它尝试在一个类似 SK 演算的基础上实现无点、同像性和依赖类型。Rohlang3 核心是标准的 S 和 K 组合子，但增加了反射、部分求值和环境重排序等功能，并通过 p 和 g 组合子实现了简单的 Pi/Sigma 依赖类型系统。作者的目标并非构建一个完美的系统，而是探索这些概念如何结合，即使存在类型理论中已知的问题。Rohlang3 的同像性允许在运行时操作代码的 AST，而反射和部分求值组合子则提供了强大的元编程能力。