shanxizeng

摘要： lambda-calculus $\lambda$演算(lambda-calculus)，是最小的通用程序设计语言。 三条基本语法规则 函数为第一类对象，即所有$\lambda$表达式构成$\Lambda$空间，而所有的$\lambda$表达式都是从$\Lambda$空间到$\Lambda$空间的一 阅读全文

摘要： Haskell笔记 总论 Haskell是一种函数式语言，其运行的过程就是给函数传递参数，然后进行执行。 这里的函数指的是数学上的函数，如 \[ f(x)=x^2 \] 下面是这个函数对应的haskell代码： sqr x = x * x 在GHCi环境中，我们将这行代码输入，即完成了该函数的定义。 阅读全文