介绍如何进行简单lambda演算的计算（规约）：形如下面这样的题目： intro https://www.jianshu.com/p/ebae04e1e47c 这一篇很清晰，基本涵盖了本文的内容。 可跳过本节，基本对做题没帮助 关键字 小写单字符用以命名参数，也叫变量（数学含义 ...

（一） 这里先不列出λ项的正式定义，只记住λ表达式语义上的构造方式为： x 一个单独的变量名是一个λ项表达式； (λx.M) 该λ表示一个函数。 ...

从选择信息专业开始到回炉读书为止，四舍五入码了八年代码。对于计算机科学的认知仅限于： 1）使用不同语言实现特定功能 2）实现不同算法以增进系统性能 3）搭建不同架构进行组织管理 ...

1. 什么是λ演算 (Lambda Calculus)？ λ演算是数学家邱奇（Alonzo Church）在20世纪30年代发表的一种计算模型，以变量绑定和替换的规则，每个输入参数用一个字母 λ (lambda)来表示，研究函数如何抽象化定义，函数如何被应用以及递归，最终形成 ...

函数式编程 阮一峰 《函数式编程初探》，阮一峰是《黑客与画家》的译者。 wiki 《函数编程语言》 一本好书，《计算机程序的构造与解释》有讲到scheme lisp, 不过是作为工具。重点 ...

从事音频软件开发10+年，在不同的操作系统（linux/android/ios）下开发过多款产品，主要有通信设备、通信终端、无线音箱、音频类APP等，涉及到音频的多个模块：音频驱动、音频前后处理、co ...

最近比较闲，打算整理一下之前学习的关于程序语言的知识。主要的内容其实就是一边设计程序语言一边写解释器实现它。这些知识基本上来自Programming Languages and Lambda Calculi和Essentials of Programming Languages这两本书 ...

　　去年毕业后，注册了这个博客园，还想着记录一些自己的所想所得，但直到一年后的今天，我才慢悠悠地动起了笔。说来好笑，找了好一会，才找到新建随笔的按钮。之所以会忽然想到要写博客，还得得益于前几天的两场面 ...