这段 Haskell 如何弄成 point-free 的？

[lilydjwg]

[haskell]
addNumber :: String -> String
addNumber s = unlines $ zipWith (numberWithIndent (getIndent ls) (nrWidth $ length ls)) [1..] ls
where ls = lines s
[/haskell]

[Fermat618]

好多括号，我喜欢。你应该把美元符改成括号，这样就更漂亮了。

[tangboyun]

[haskell]
addNumber :: String -> String
addNumber = unlines . (\e -> zipWith (numberWithIndent (getIndent e) (nrWidth $ length e)) [1..]) . lines
[/haskell]

整成这种？难读不少阿，还有就是函数写成这种形式，如果不显式注明签名式的话，而参数又是多态的话，可能会遇到Monomorphism Restriction方面的错误，不知道的话，很难debug。point free除非是那种很短的语句，否则没太大意思的。

[lilydjwg]

[haskell]
addNumber :: String -> String
addNumber = unlines . (\e -> zipWith (numberWithIndent (getIndent e) (nrWidth $ length e)) [1..]) . lines
[/haskell]

整成这种？难读不少阿，还有就是函数写成这种形式，如果不显式注明签名式的话，而参数又是多态的话，可能会遇到Monomorphism Restriction方面的错误，不知道的话，很难debug。point free除非是那种很短的语句，否则没太大意思的。

不是，匿名函数里还有参数呢。

我只是想看看它怎么变成 point free 的，没准备实用的。

[tangboyun]

你这个要完全去掉太难了，我推了一会儿放弃了。有两个地方有依赖，还都是在一个函数内部的。

我觉得要curry化的话，最好是那种没依赖的。

[lilydjwg]

知道了：

22:59 <lilydjwg> @pl \s -> let ls = lines s in unlines $ zipWith (numberWithIndent (getIndent ls) (nrWidth $ length ls)) [1..] ls
22:59 <lambdabot> unlines . (flip zipWith [1..] =<< liftM2 numberWithIndent getIndent (nrWidth . length)) . fix . const . lines

[tangboyun]

这个自动推导牛的。。。要读懂就要在纸上来回推几回了