发简信
IP属地：江苏
-
面向对象与逆变、协变
面向对象语言中一个对象可能会具有以下三种性质，这常常让人感到难以理解。 逆变性（Contravariant）：表示一个类型变换成它的一个子类的类...
-
并查集与类型推导某次参加笔试的最后一题大意如下：给定一组用户[0..n]，以及他们之间的好友关系，问这些好友构成了多少个朋友圈？例如有用户[1..5]，好友关系...
-
说说设计模式
这几天从图书馆借了借来了《设计模式》，花了几个小时大致浏览了一下。当然了，在此之前我已经拜读过王垠的文章 。我的观点和他基本相同，不过既然是要谈...
-
模板元编程
在前一篇文章中介绍了使用lambda calculus构造自然数以及相关运算。在所有的图灵完备的语言中，我们都可以进行类似的行为。之前学习C++...
-
求解前驱函数
因为发现简书支持Markdown所以决定把我的新浪博客搬到简书。 说明 lambda calculus是图灵完备的语言，可以定义自然数，布尔值等...