CS
λ演算（一）
1936年，图灵在论文中引入了Turing Machine的概念，与此同时他在丘奇门下攻读博士学位。 而后经Kleene证明： 演算、Turing Machine 和 Kurt Gödel引入的general recursion 函数等价。并由此提出了一个伟大命题——即任何可计算的东西都能被这三种方式所表达。 而函数式语言起源于 丘奇提出的 演算。
Read articleTag
Tag: Haskell
CS
(->)r 类型如何完成applicative functor的实例化
题 当我最近阅读haskell教材时，因为对于 类型的applicative functor的实例化的实现有些疑惑（主要是对于函数式编程的不熟悉），所以翻了些stackoverflow的回答解决了我的问题，在此留下一些痕迹。
Read article