Taba Taba!

今天发现了篇paper,brics.dk/RS/05/3/BRICS-

就是一个小trick,可以用于在2n pattern match下算出zip l (rev r)

看完以后觉得很简单啊,一点都不像某SM(Selection Monad(特大雾

不过为啥想不到呢,orz

最后:

文章被以下专栏收录
1 条评论
推荐阅读