zzfx

摘要： 程序是类型的证明。 计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的； 程序是建立在逻辑和严格证明基础之上的； 逻辑学的基本要素是：概念、判断、推理； 类型系统相当于逻辑和科学中的概念，在此基础上才能进行运算和推理； 编程语言不过是建立了类型系统和在类型系统基础上的一些列运算法则 阅读全文