摘要：
模式匹配用到集合论、装箱解箱用到范畴论 阅读全文
posted @ 2019-03-27 19:29
zzfx
阅读(197)
评论(0)
推荐(0)
摘要：
弗雷格的逻辑体系，表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言，使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看，概念文字是我们今天使用的计算机程序设计语言 阅读全文
posted @ 2019-03-27 19:26
zzfx
阅读(412)
评论(0)
推荐(0)
摘要：
按照一定规则使用匹配模式在目标空间进行搜索，然后执行相应操作； 运行时系统将kvc的运行机制解释为模式匹配，将值的兼容性问题解释为装包解包问题 一、模式匹配 The default implementation of the NSKeyValueCoding protocol provided by 阅读全文
posted @ 2019-03-27 11:50
zzfx
阅读(238)
评论(0)
推荐(0)
浙公网安备 33010602011771号