7篇文章 · 8413字 · 1人关注
-
[PLT] 柯里化的前生今世（十三）：Weak head normal form1. 形式系统（Formal system） 在逻辑学与数学中，一个形式系统由两部分组成，一个形式语言加上一套推理规则。 一个形式系统也许是纯粹...
-
[PLT] 柯里化的前生今世（十二）：多态性
关于 本文借用Haskell介绍了自定义类型，带参数的类型，Ad-hoc多态性，kind，其中，带参数的类型在类型上可以做“柯里化”。 1. 自...
-
[JavaScript] Object.setPrototypeOf
1. Object.setPrototypeOf https://developer.mozilla.org/en-US/docs/Web/Ja...
-
[JavaScript] super
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operat...
-
[PLT] 柯里化的前生今世（十一）：Pure and Lazy语言的作用 语言的作用是为了交流想法，描述概念，当前使用了什么语言，取决于我们有什么样的需要。 为了理解词法作用域，闭包，和continuati...
-
[PLT] term and value
Types and Programming Languages中介绍了项（term）和值（value），这有别于符号表中变量和值的映射关系。 （...
-
[PLT] 柯里化的前生今世（十）：类型和类型系统
1. 形式化方法 在计算机科学中，尤其在软件工程和硬件工程领域，形式化方法（Formal method），是一种数学方法，用于软件和硬件系统的描...
文集作者
