12 2018 档案
摘要:本节学习内容: ruby基础
阅读全文
摘要:本节学习内容: 静态类型系统和动态类型系统比较
阅读全文
摘要:本节学习内容:racket数据结构,实现一个编程语言
阅读全文
摘要:clojure实现一个小型的编程语言
阅读全文
摘要:本节学习内容:racket语言,延迟求值,宏
阅读全文
摘要:本节学习内容:类型推导、相互递归、ML的模块系统、等效性
阅读全文
摘要:本节学习内容:first-class functions、function closures.
阅读全文
摘要:学习Linear algebra的笔记,并学习在org-mode中使用latex写数学公式
阅读全文
摘要:测试通过Org-mode提交到cnblogs,本节学习创建自己的类型:定义新类型,构造新类型的值及使用这些值。 思考"复合类型(compound types)"。 使用模式匹配访问复合类型的值。 最后还有尾递归。
阅读全文