Haskell 执行速度太慢

boilplate

几天前写了一些简单的 Haskell 程序， 全当练手。   拿大数据测试的时候发觉特别慢。  (但 GC 时间不多， 只占百分之十几)

切片后也没什么重大发现。

把那两个最耗时的函数改了又改， 核心数据结构也改了许多次， 仍然没有速度上的大突破。(程序主体只是一些 case 判断之类的，并没有复杂的计算，故不值得用 C 写)

网上查了一下， 是 Monad Transformer 导至的:
http://www.haskell.org/haskellwiki/Performance/Monads
据说会多出三倍的时间。  （我多出了六倍，是因为我用了两个 Transformer ? xD）

于是重写了一遍。果然，若 Monad 和 Transformer 都不用， 相同的数据瞬间就计算完毕了。

若不用 Transformer，  会生出许多 boilplate， Monad 之间的组合就会显得生硬， 从而会在一些情景下绕开 Monad。 若放弃 Monad ， 那么使用 Haskell 就失掉一大乐趣。


由于刚用 Haskell 不久，  请教有经验的先驱们是怎样解决这类 performance 矛盾的?


PS， 居然 haskell 2010 仍没正式接纳  MultiParameterTypeClass  

Magicloud

楼主能否上个代码，真的需要多到影响性能的monad了么？

boilplate

我的代码丑陋，拿别人的代码吧：
http://gaagaaga.blogspot.com/200 ... rmer-brainfuck.html
最后那个用 monad transformer 的我写着也很慢，（虽然比该博主的要快那么一点点）。然而不用 Monad Transformer 的就和 C 相差不多
不知该从何优化， 试了几种办法都没效果。  没看过 dump-simpl

soiamso

还是上代码吧！ IORef 也试了？ Bang Pattern 也用了？

boilplate

1. 用　IORef  不会快多少，　况且需要到处 liftIO

2. 拿上面Blog的例子来说，执行慢不是由 strict 造成的，　所以猜测(只是猜测) Bang Pattern 没什么效果

也许可以用 STM,　还没试

soiamso

资源回收，资源分配造成的

State 在每一次离开的时候复制到下一个 State, 然后释放前一个State的状态，也就是 state 中的 s
容量越大速度越慢。如果放个Map 进去就更慢了。 IORef 用作 s 的大小是固定的。

但是从 haskeline 对 monad transformer 的频繁应用（4层），速度跟c 写的readline 比肉眼分辨不出来。
ghci 默认用的就是 haskeline.