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