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