摘要：
反射与内省： 类型系统的特征： 反射用于获取类型信息； 内省用语运行时类型检查； 阅读全文
posted @ 2019-04-05 11:14
zzfx
阅读(217)
评论(0)
推荐(0)
摘要：
定位理论第一能够将思考对象的边界明晰 第二讲思考对象投射到相应领域的世界观上； 从而用相应领域的世界观、方法论来理解、还原、内化相关概念； 定位理论是思考之前的思考； 根据思考对象的不同层次和侧面，将对象定位到不同的域，从而进行全面的研究； 定位理论是全面思考的基础； 世界观： 世界观是认识对象投射 阅读全文
posted @ 2019-04-04 15:19
zzfx
阅读(983)
评论(0)
推荐(0)
摘要：
数据库的未来:ORM+LINQ+RX 数据 操作 异步 ORM LINQ RX 阅读全文
posted @ 2019-04-04 12:39
zzfx
阅读(241)
评论(0)
推荐(0)
摘要：
数据库最基础的并发控制是事务模型； 事务模型的锁会形成排队机制； 一、事务 事务：将多个操作打包（成单一体）进行执行的控制技术； 事务：将多个操作原子化执行的技术； 事务（Transaction：一个程序执行单元(unit)。 事务由事务开始(begin transaction)和事务结束(end 阅读全文
posted @ 2019-04-03 11:55
zzfx
阅读(621)
评论(0)
推荐(0)
摘要：
class Human { //8 type or isa //retainCount var age: Int?//16 var name: String?//16 var nicknames: [String] = [String]() //返回指向 Human 实例头部的指针 func hea 阅读全文
posted @ 2019-04-02 16:06
zzfx
阅读(629)
评论(0)
推荐(0)
摘要：
认识世界、改造世界 分析问题、解决问题 树、冰山模型 检查意识的元件和模型 阅读全文
posted @ 2019-04-01 11:02
zzfx
阅读(313)
评论(0)
推荐(0)
摘要：
主要目标是提供抽象能力和解决值类型的多态问题 Actually, Abrahams says, those are all attributes of types, and classes are just one way of implementing a type. Yet, they exac 阅读全文
posted @ 2019-03-29 18:24
zzfx
阅读(349)
评论(0)
推荐(0)
摘要：
数字证书是一个电子文档，其中包含了持有者的信息、公钥以及证明该证书有效的数字签名。 证书签名与验签： 签名： 上级证书拥有者，搜集到下级证书申请信息后，将整体信息使用私钥签名； 验签： 使用上级证书的公钥对签名信息完成； 签名函数： signdata = encrypty(privateKey, h 阅读全文
posted @ 2019-03-29 16:11
zzfx
阅读(858)
评论(0)
推荐(0)
摘要：
1、概念： 定理是经过受逻辑限制的证明为真的陈述。 定律是对客观事实的一种表达形式，通过大量具体的客观事实归纳而成的结论。 公理是指依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。 2、区别： 定律是描述客观世界变化规律的表达式或者文字。 公理是不需要认证的， 阅读全文
posted @ 2019-03-29 15:19
zzfx
阅读(2555)
评论(0)
推荐(0)
摘要：
逻辑的体系：论据-》论证-〉论点 阅读全文
posted @ 2019-03-29 15:16
zzfx
阅读(442)
评论(0)
推荐(0)
摘要：
系统论的两个方面： 使用系统论研究系统； 使用系统论构建系统； 阅读全文
posted @ 2019-03-29 14:44
zzfx
阅读(359)
评论(0)
推荐(0)
摘要：
系统论是宏观上的还原论 系统论是大尺度的还原论的时空思考； 二者都是认识复杂事物的方法论； 二者都是复杂性理论的果实； 阅读全文
posted @ 2019-03-29 14:23
zzfx
阅读(489)
评论(0)
推荐(0)
摘要：
方程（equation）是指含有未知数的等式。是表示两个数学式（如两个数、函数、量、运算）之间相等关系的一种等式，使等式成立的未知数的值称为“解”或“根”。求方程的解的过程称为“解方程”。 方程中文一词出自古代数学专著《九章算术》，其第八卷即名“方程”。“方”意为并列，“程”意为用算筹表示竖式。 方 阅读全文
posted @ 2019-03-28 15:12
zzfx
阅读(2106)
评论(0)
推荐(0)
摘要：
指针的核心：内存（地址）+ 类型 一、指针与内存 指针本身是内存的集合空间的索引； 内存的集合空间包含变量、命令等等； 定义一个指针，是内存空间（栈区）添加了元素； 给指针赋值，是将指针索引指向内存空间的具体地址； 指针使用，是将索引空间类型化，然后使用这个类型； 内存、地址与位置：指针与堆栈 指针 阅读全文
posted @ 2019-03-28 12:01
zzfx
阅读(148)
评论(0)
推荐(0)
摘要：
模式匹配用到集合论、装箱解箱用到范畴论 阅读全文
posted @ 2019-03-27 19:29
zzfx
阅读(198)
评论(0)
推荐(0)
摘要：
弗雷格的逻辑体系，表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言，使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看，概念文字是我们今天使用的计算机程序设计语言 阅读全文
posted @ 2019-03-27 19:26
zzfx
阅读(418)
评论(0)
推荐(0)
摘要：
按照一定规则使用匹配模式在目标空间进行搜索，然后执行相应操作； 运行时系统将kvc的运行机制解释为模式匹配，将值的兼容性问题解释为装包解包问题 一、模式匹配 The default implementation of the NSKeyValueCoding protocol provided by 阅读全文
posted @ 2019-03-27 11:50
zzfx
阅读(238)
评论(0)
推荐(0)
摘要：
多态：抽象类型可以泛化为具有不同行为的具体类型；在运行时根据类型做出不同的行为解释； 动态：语言元素的结构和行为可以在运行时修改； 多态需要运行时的解释执行； 多态需要在运行时获取类型和行为信息从而进行修改； 动态是将可修改范围由数据扩展到指令区； 动态的本质：一切皆数据、一切皆可修改。 二者都需要 阅读全文
posted @ 2019-03-26 21:13
zzfx
阅读(323)
评论(0)
推荐(0)
摘要：
One can explicitly write @objc on any Swift declaration that can be expressed in Objective-C. @objc相关的参量只能修饰类、类的成员、扩展以及只能被类实现的协议； 下面开列修饰的情况和说明 一、无修饰 N 阅读全文
posted @ 2019-03-26 19:33
zzfx
阅读(1684)
评论(0)
推荐(0)
摘要：
The convention of the function, indicated by the attribute. This is similar to the language-level @convention attribute, though SIL extends the set of 阅读全文
posted @ 2019-03-26 18:06
zzfx
阅读(381)
评论(0)
推荐(0)
浙公网安备 33010602011771号