我想在 Haskell 中快速正确地减少函数以指向自由形式。我更愿意产生相当可读的结果。我该怎么办?
问问题
197 次
2 回答
11
实际上有一个程序叫做“pointfree”
做这个
cabal install pointfree
然后在命令行
> pointfree "\x -> x+1"
(1 +)
警告——虽然一些无积分的结果很棒,但另一些则非常可怕......
于 2015-01-24T21:53:19.963 回答
4
Haskell wiki在这里介绍了无点重构工具。它主要涵盖了Lambdabot,这是一个 IRC 机器人,可以进行无点和点重构:
@pl \x y -> EQ == compare x y
((EQ ==) .) . compare
[1] 来自http://ircbrowse.net/browse/haskell?id=19908612×tamp=1421726397#t1421726397的示例
于 2015-01-24T22:06:52.923 回答