一段 Haskell 代码求助！

rec.tail 是函合，形如把 f(g(x)) 成 （f . g) x 的形式。一般成前後各留一空格，像 rec . tail 。

foldr 的是返回一合函。它的意是，一 list，如果 list 的有多少能令 predicate x True 的 x，就返回一合了多少 tail 的合函，然後 list 用合函。

不好理解，例子。

*Main> dropWhile'' (<3) [1,2,3,4,5,4,3,2,1]
[3,4,5,4,3,2,1]

foldr 是右向左，到右的 1，2 accumulator 是 (id . tail . tail)；到 3 的候返回 id，相於 accumulator 清空；再到前面的 3 止都是 id，到前面的 2 ，因足 predicate x True，所以返回一 (id . tail)，到 1 就成 (id . tail . tail)。最後就相於的 list 用 (id . tail . tail) 一有 tail 的合函。

如果我在 list 前面再加一令 predicate x False 的值例如 3，成 [3,1,2,3,4,5,4,3,2,1]，那 foldr 是和先前一右向左，到 list 第二位的 1 (id . tail . tail)，然後遇到 3，清空成 id，dropWhile'' 就成了 id [3,1,2,3,4,5,4,3,2,1]，返回 [3,1,2,3,4,5,4,3,2,1]。

@yukirock 我发在冷门节点没上首页居然回复了！太感谢了！

我仔细看才发现， rec 一开始是 `id` 我一直以为是 [ id ] 。。。。。。都明白了。。。

@yukirock 对了，后一行的

recr base combine (x:xs) = f x xs (recr base combine xs)

f 是怎么来的？

@wcp1231 我就不知道了，我估他了……

那 lambda 面 predicate 他不就拼了 orz

@yukirock 也是。。国内 haskell 的社区太少了，我都差点去 irc 问了。。。haskell 还能去哪里交流啊？

@wcp1231 其我也不清楚……

我上倒是可以用程或者 Facebook，不放的 Haskell 社我倒不常去。反正我西的度是……不做 PL 或者人逼你真必要，把 Learn you a Haskell 看一遍，看看人於 Haskell 的讨论（比如说 http://www.zhihu.com/topic/19593103/hot）差不多了。

水木社区的函数式编程板块还是比较活跃的。

@yukirock
@ChiangDi 好的！

@wcp1231 看的件倒是有提到一些知名的 Haskell 社：

http://shuklan.com/haskell/lec07.html#/0/4

包括 SO，IRC，Reddit 等……然我都用就是了。

@yukirock 多谢！