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

lilydjwg · **发表于 :** 2012-03-05 21:38

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

Fermat618 · **发表于 :** 2012-03-11 22:23

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

tangboyun · **发表于 :** 2012-03-22 12:55

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

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

lilydjwg · **发表于 :** 2012-03-22 14:32

tangboyun 写道:

[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 · **发表于 :** 2012-03-23 8:45

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

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

lilydjwg · **发表于 :** 2012-04-14 23:00

知道了：

引用:

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 · **发表于 :** 2012-04-16 8:49

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

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

在线用户