zzfx

2019年3月26日

摘要： Metatype Types A concrete or existential metatype in SIL must describe its representation. This can be: @thin, meaning that it requires no storage and 阅读全文

posted @ 2019-03-26 17:59 zzfx 阅读(198) 评论(0) 推荐(0)

泛型编程思想：复合类型的抽象和代码复用

摘要：泛型编程思想：复合类型的抽象和代码复用阅读全文

posted @ 2019-03-26 10:50 zzfx 阅读(234) 评论(0) 推荐(0)

2019年3月25日

函数的类型、变量、值与绑定

摘要：一、函数的类型： 1、输入输出的映射形式； 2、定义了访问函数时的调用约定；cpu在访问函数是参量的布局形式； 3、相同函数类型的变量可以相互赋值；函数作为类型是函数式编程的基石；二、函数的变量：定义函数类型－》定义变量－》给变量赋值；常见形式：常指针变量：函数类型＝函数实现；函数阅读全文

posted @ 2019-03-25 21:27 zzfx 阅读(671) 评论(0) 推荐(0)

泛型是什么？包含参量化类型的类型

摘要：泛型是什么？包含参量化类型的类型阅读全文

posted @ 2019-03-25 19:41 zzfx 阅读(212) 评论(0) 推荐(0)

泛型编程的基石：参量化类型（算法或结构）抽象和类型运算

摘要：类型运算：类型指定、类型约束、类型依赖；所谓泛型，即通过参数化类型来实现在同一份代码上操作多种数据类型。 https://www.cnblogs.com/arxive/p/6179972.html 因而函数重载是一种多态，而这样的多态被称作ad-hoc多态。泛型程序设计（generic pro 阅读全文

posted @ 2019-03-25 19:39 zzfx 阅读(214) 评论(0) 推荐(0)

多态是什么：抽象类型可以泛化为多样化不同的类型----多态的本意：是抽象类型具体实现的多样化---抽象类型的指代作用

摘要：多态的本意：是抽象类型具体实现的多样化；然后对具体类型的行为，作出或相同或不同的解释；多态是一个类型理论的名词；对抽象类型的行为作出了解释；抽象类型的指代作用举例：这个牛是一头白牛，这个牛（这头白牛）........ The most commonly recognised major cl 阅读全文

posted @ 2019-03-25 18:41 zzfx 阅读(340) 评论(0) 推荐(0)

多态的本质：对抽象类型方法调用的解释机制

摘要：两个方面： 1、抽象类型的具体化； 2、方法调用的解释同一个接口方法调用在运行时，针对不同的抽象类型具体化变量输入，具有不同的解释；解释机制：编译器插入：查找、绑定、执行；运行时解释：查找、绑定、执行；对全部消息调用进行解释？同一个接口函数在接收到不同的接口实现时，存在不同的解释；阅读全文

posted @ 2019-03-25 18:06 zzfx 阅读(242) 评论(0) 推荐(0)

异常机制的本质-异常机制是一种信息传递机制

摘要：异常机制的本质：用冗余代码实现额外信息的传递：异常机制的本质是异常机制代码的解释权：作出解释即用冗余代码实现异常机制的额外逻辑； 1、异常信息的表达：包含什么：在哪里出的什么错误； 2、异常信息的传递：栈帧、长跳转； 3、异常的处理： /** * 抛出异常对象，对应代码：@throw e; * 阅读全文

posted @ 2019-03-25 17:35 zzfx 阅读(320) 评论(0) 推荐(0)

2019年3月24日

编程及编程语言的本质

摘要： Programming is about ideas, languages are just a way to express them. https://thzt.github.io 阅读全文

posted @ 2019-03-24 21:46 zzfx 阅读(370) 评论(0) 推荐(0)

类型检查-类型表达式:类型系统是一种逻辑系统

摘要：描述类型系统的语言类型系统主要用来说明编程语言的定型规则，它独立于类型检查算法定义一个类型系统，一种重要的设计目标是存在有效的类型检查算法类型系统的基本概念可用于各类语言，包括函数式语言、命令式语言和并行语言等我们后面讨论用形式方法来描述类型系统类型系统的形式化类型系统是一种逻辑系统有阅读全文

posted @ 2019-03-24 21:33 zzfx 阅读(429) 评论(0) 推荐(0)

计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的；

摘要：计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的；阅读全文

posted @ 2019-03-24 21:19 zzfx 阅读(270) 评论(0) 推荐(0)

类型的基石：数据类型、函数类型

摘要：所有的类型都是在数据类型和函数类型的基础上进行组合和扩展而来；阅读全文

posted @ 2019-03-24 20:09 zzfx 阅读(137) 评论(0) 推荐(0)

类型检查-类型系统

摘要：赋值规则检查；基础运算规则＋；方法调用权限；类型一致性检查、类型行为检查；类型系统是对类型表达式合规性的检查； Type systems are generally formulated as collections of rules for checking the “con- siste 阅读全文

posted @ 2019-03-24 20:06 zzfx 阅读(481) 评论(0) 推荐(0)

2019年3月23日

动态类型－类型绑定

摘要：静态类型：类型的变量有明确的行为约束；动态类型：为所欲为；动态类型：动态类型绑定类型；动态：可变、晚绑定；静态类型语言在编译时便已确定变量的类型，而动态类型语言的变量类型要到程序运行的时候，待变量被赋予某个值之后，才会具有某种类型。 https://www.cnblogs.com/Roylh/ 阅读全文

posted @ 2019-03-23 22:15 zzfx 阅读(463) 评论(0) 推荐(0)

类型安全与类型检查是什么？

摘要：类型安全与类型检查是什么？阅读全文

posted @ 2019-03-23 21:35 zzfx 阅读(294) 评论(0) 推荐(0)

2019年3月22日

swift 该死的派发机制--待完成

摘要： swift 该死的派发机制 final static oc类型多态类型静态类型动态函数静态函数 nsobject： 1、缺省不再使用oc的动态派发机制； 2、可以使用nsobject暴露出来的接口函数； 3、其它行为与swift的class一样；多态类型：class与protocol 静态阅读全文

posted @ 2019-03-22 19:28 zzfx 阅读(538) 评论(0) 推荐(0)

类型内存模型（对象内存模型）

摘要：类型的内存模型的3个问题： 1、包含什么：附加信息 2、怎么布局：内存对齐 3、使用场景：怎么使用附加信息一、包含什么？除了包含结构类型的显式成员变量外，类型内存模型需要解决附加信息的引入问题 1、附加信息（Opaque）有哪些：类型信息、函数信息、继承信息、内存计数等； 2、为什么有附加信息阅读全文

posted @ 2019-03-22 17:16 zzfx 阅读(367) 评论(0) 推荐(0)

多态的支撑系统：面向多态编程

摘要：面向多态编程是面向抽象编程；多态的本质是抽象；一、多态的分类： 1、由函数到方法，隐藏缺省参量从而实现抽象；面向接口与继承； 2、泛型：参量化类型抽象出共同的结构和行为； 3、高阶函数：抽象出共同的基础操作； 4、运行时类型信息；二、多态的支持系统分为两类： 1、类型支持； 2、函数调用的解释阅读全文

posted @ 2019-03-22 16:35 zzfx 阅读(238) 评论(0) 推荐(0)

思考的第一法则：目的性

摘要：思考则第一法则：目的性目的性；思考的目的性；只有有目的的受控思考才是有效思考；思考的方式，处于第二位；阅读全文

posted @ 2019-03-22 15:41 zzfx 阅读(1256) 评论(0) 推荐(0)

2019年3月21日

swift class的缺省基类（SwiftObject）与内存模型

摘要： Hard Constraints on Resilience The root of a class hierarchy must remain stable, at pain of invalidating the metaclass hierarchy. Note that a Swift cl 阅读全文

posted @ 2019-03-21 19:01 zzfx 阅读(476) 评论(0) 推荐(0)

公告