用函数组合编写长度​​折叠器

Question

我想改写

foldr (\_ y = y + 1) 0

使用flip，const和(+1)以及功能组合。

我已经走到这一步了：

foldr (\x -> ((+1) . (flip const x)) 0

但我似乎无法放弃这个lambda。有没有办法这样做？

Answer 1

请注意(\_ -> e) = const e和e = (\y -> y + 1) = (+1)。因此，

foldr (const (+1)) 0