03 2022 档案

摘要:第三周主要介绍了 头等函数 (First-class function) 与 函数闭包 (Function Closure)的概念。 头等函数传递出一个重要的概念 :Functions are values,即函数可以作为参数传递,计算以及存储。而 函数闭包 则是指函数可以使用定义在其之外的变量,这 阅读全文
posted @ 2022-03-31 19:58 四季夏目天下第一 阅读(74) 评论(0) 推荐(0) 编辑
摘要:第一周介绍了 ML 语言的一些表达与基本的 Language pieces 第二周主要关注 ML 语言中的各种类型 (type) Conceptual ways to build new types 任何一门编程语言都包含有两种类型,基础类型 (base type) 与复合类型 (compound 阅读全文
posted @ 2022-03-19 23:30 四季夏目天下第一 阅读(111) 评论(0) 推荐(0) 编辑
该文被密码保护。
posted @ 2022-03-15 17:56 四季夏目天下第一 阅读(0) 评论(0) 推荐(0) 编辑
摘要:博客园,我又回来啦! Static & Dynamic environment 在ML语言中,每当出现一个新的语句,我们都用现存的 Static / Dynamic Environment 对它进行 type-check / Evaluate。 只有通过 type-check 的语句才不会出现错误。 阅读全文
posted @ 2022-03-14 22:18 四季夏目天下第一 阅读(53) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示