- 博客(4)
- 收藏
- 关注
转载 Standard ML 语言学习(chapt 10)--- Concrete Data Types
参考:(ProgramminginStandardML,chapt10)10.1.DatatypeDeclarationsML提供datatype定义来为程序员提供自定义的递归的类型。type定义的作用是提供类型的缩写,将type的名称与其定义替换并不会影响程序的功能。而datatype定义则用于引入新的类型:不同于其他任何类型,并且不仅仅代表某个其它类型。正是这种...
2015-03-27 12:55:00
363
转载 一个民间鬼故事
今天刷知乎的时候看到一个关于大学该不该开设宗教相关课程的问题,然后看到大家讨论中国人是否有信仰的问题,然后说到是否只有宗教才称得上信仰的问题,然后忽然想起来小时候外公给我讲一个故事的时候提到古代读书人不兴信鬼神,于是就想顺便把老人讲的故事写下来……也并没什么寓意,单纯只是不想面对写开题报告这件事啊啊啊 \("▔□▔)/ 。为了拖延我也是拼了。。故事说:古时候有个书生去赶考,但是途中某...
2015-03-26 02:06:00
395
转载 Lambda 表达式学习(2) ——lambda 变换
回顾λ-calculus语法:t::= terms: x variable λx.t abstraction tt applicationλ-变换:保持λ-项含义的同时对其进行变换。1. α-变换:改变被绑定变量的名称,所代表的含义仍是一样的。λx.t→λy.t(x:=y)(将表达式的bodyt...
2015-03-20 21:58:00
359
转载 Lambda 表达式(λ-calculus)学习(1)
(参考:《type and Programming Languages》)一、语法:t::= terms: x variable λx.t abstraction tt application λx.t可理解为:一个函数,以变量x为参数,返回termt。t是该抽象的body。(lambda表达式的body总是延伸...
2015-03-20 20:18:00
719
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人