摘要：
call graph 的构造 阅读全文
posted @ 2021-12-22 00:29
wow_yoo
阅读(30)
评论(0)
推荐(0)
摘要：
位置参数如何在类型系统中体现？ 阅读全文
posted @ 2021-12-21 15:52
wow_yoo
阅读(34)
评论(0)
推荐(0)
摘要：
A function is treated syntactically as an operator if the name of that function is chosen from one of a specialized set of identifiers. This set inclu 阅读全文
posted @ 2021-12-21 12:09
wow_yoo
阅读(53)
评论(0)
推荐(0)
摘要：
monad是是一种编程概念，可能要溯源到数学（根据维基百科解释），跟面向对象编程相关的可能在于泛型那部分。 阅读全文
posted @ 2021-12-17 14:52
wow_yoo
阅读(37)
评论(0)
推荐(0)
摘要：
不理解计算机的主要结构，不搞懂程序执行的大致流程，是写不好好代码的 阅读全文
posted @ 2021-12-17 13:07
wow_yoo
阅读(67)
评论(0)
推荐(0)
摘要：
与计算机体系结构相关的机制，涉及内存体系与众核交互的数据的一致性，是写好并行程序的关键原理 阅读全文
posted @ 2021-12-16 21:25
wow_yoo
阅读(15)
评论(0)
推荐(0)
摘要：
留待c++类的特性系列章节理解，书本81页 阅读全文
posted @ 2021-12-16 19:10
wow_yoo
阅读(15)
评论(0)
推荐(0)
摘要：
今天了解了Knaster-Tarski定理。这个定理的证明不知怎么就看完了，还不知怎么得觉得自己真懂了。附上一可爱证明http://joshkos.blogspot.com/2008/05/knaster-tarski.html 阅读全文
posted @ 2021-11-27 21:34
wow_yoo
阅读(33)
评论(0)
推荐(0)
浙公网安备 33010602011771号