2015年3月27日
Standard ML 语言学习（chapt 10）--- Concrete Data Types
摘要： 参考：（ProgramminginStandardML,chapt10）10.1.DatatypeDeclarationsML提供datatype定义来为程序员提供自定义的递归的类型。type定义的作用是提供类型的缩写，将type的名称与其定义替换并不会影响程序的功能。而datatype定义则用于引... 阅读全文
posted @ 2015-03-27 12:55 三叉九鼎 阅读(1595) 评论(0) 推荐(0) 编辑
2015年3月26日
一个民间鬼故事
摘要： 今天刷知乎的时候看到一个关于大学该不该开设宗教相关课程的问题，然后看到大家讨论中国人是否有信仰的问题，然后说到是否只有宗教才称得上信仰的问题，然后忽然想起来小时候外公给我讲一个故事的时候提到古代读书人不兴信鬼神，于是就想顺便把老人讲的故事写下来……也并没什么寓意，单纯只是不想面对写开题报告这件事啊啊... 阅读全文
posted @ 2015-03-26 02:06 三叉九鼎 阅读(643) 评论(0) 推荐(0) 编辑
2015年3月20日
Lambda 表达式学习(2) ——lambda 变换
摘要： 回顾λ-calculus语法：t::= terms: x variable λx.t abstraction tt applicationλ-变换：保持λ-项含义的同时对其进行变换。1. α-变换：改变被绑定变量的名称，所代表的含义仍是一样的。λx.t→λy.t(x:... 阅读全文
posted @ 2015-03-20 21:58 三叉九鼎 阅读(376) 评论(0) 推荐(0) 编辑
Lambda 表达式（λ-calculus）学习(1)
摘要： (参考：《type and Programming Languages》)一、语法：t::= terms: x variable λx.t abstraction tt application λx.t可理解为：一个函数，以变量x为参数，返回termt。t是该抽象的body。（... 阅读全文
posted @ 2015-03-20 20:18 三叉九鼎 阅读(1991) 评论(0) 推荐(0) 编辑