- 博客(2)
- 收藏
- 关注
原创 λ演算
第一类对象原则 a 属于 Λ 空间 对于任何 M 属于 Λ 空间,且 a 属于 Λ 空间,则 λ a. M 属于 Λ 空间 对于 F、M 属于 Λ 空间,则 F M 属于 Λ 空间 使用 λ 表达式来描述即: λ` 属于 Λ 空间 λ λ`. λ` λ` λ` 这是一个递归定义,也就是说任何一条 lambda 表达式的参数以及返回值都可以是 lambda 表达式(该 lambda 表达式的参数
2017-01-03 01:19:22
815
原创 编程常用书籍追踪列表
常用书籍追踪列表语言 LISP ANSI COMMON LISP Markdown Markdown: Syntax (Markdown 语法说明) + 其他
2016-12-28 19:43:04
224
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人