包含标签：typed-lambda-calculus 的文章
-
有没有简单的方法可以用 monad 类型扩展简单类型的 lambda 演算？
如何扩展简单类型的 lambda 演算以拥有支持类似 monad 类型的类型系统？基本上，我目前对简单类型的 lambda 演算有很好的理解，并且我想了解将 monad 添加到该……bigao 2022年8月14日
bigao
2022年8月14日