plt
文章平均质量分 95
JAVAInMyHeart
Talk is cheap. Show me the code.
展开
-
类型系统(一)
类型系统简介数学基础无类型算术表达式语法 本文为学习类型系统的系列文章的第一篇。主要参考资料为大名鼎鼎的TypesTypesTypes andandand ProgrammingProgrammingProgramming LanguagesLanguagesLanguages。相信有很多跟我一样的读者都是从CCC系语言如JavaJavaJava,C/CPPC/CPPC/CPP等入门开始学习...原创 2018-12-02 18:25:02 · 997 阅读 · 0 评论 -
类型系统(二)
无类型$\lambda$演算基础变量与元变量(Variables and Metavariables)作用域(Scope)操作语义无类型λ\lambdaλ演算基础变量与元变量(Variables and Metavariables)首先看一个式子 λ\lambdaλx.λ\lambdaλy.xy有形式λ\lambdaλz.s其中z,s被称为元变量,x,y被称为对象语言变量作用域(Sc...原创 2018-12-05 12:52:13 · 377 阅读 · 0 评论