$$
\dfrac{T_1 \leq S_1 \quad S_2 \leq T_2}{S_1 \rightarrow S_2 \leq T_1 \rightarrow T_2}
$$
逆变和协变
Feb 25, 2017
- 阅读全文
SICP 2.1 数据抽象导论
Feb 19, 2017阅读全文翻车到坑里
Polyglot
Feb 12, 2017阅读全文混源
Whitespace
Feb 5, 2017阅读全文介绍一个很干净的语言。
SICP 1.3 用更高阶的过程阐述抽象
Jan 29, 2017阅读全文再次填坑。
《Haskell 趣学指南》 笔记
Jan 22, 2017阅读全文《Haskell 趣学指南》是一本非常简洁明了的入门书。
阴阳谜题
Jan 15, 2017阅读全文我又从你的未来回来。
Call with current continuation
Jan 8, 2017阅读全文我接过你保存的世界。
Continuation-passing style
Jan 1, 2017阅读全文我把未来抛给了你。
求值策略
Dec 25, 2016阅读全文1
2
3
4
5
6void swap(int x, int y)
{
int temp = x;
x = y;
y = temp;
}