zypeh
says to
YSITD
研究 FP 比较多，比如说用惰性求值来实现 O(log n) 的列表查询？