Haskell 运算斐波那契数列怎么这么慢,比 JS 慢多了。。 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
mofe
V2EX    问与答

Haskell 运算斐波那契数列怎么这么慢,比 JS 慢多了。。

  •  
  •   mofe 2022 年 3 月 12 日 2785 次点击
    这是一个创建于 1435 天前的主题,其中的信息可能已经有所发展或是发生改变。

    Haskell 代码

    fib :: (Integral a) => a -> a fib 0 = 0 fib 1 = 1 fib n = fib(n-1) + fib(n-2) main :: IO() main = do print (fib 40) 

    M1 Max CPU 上足足跑了 25 秒

    JS 代码

    function fib(n){ switch(n) { case 0: return 0; case 1: return 1; default: return fib(n-1) + fib(n-2); } } console.time('fib'); fib(40); console.timeEnd('fib'); 

    JS 里只需要 1 秒

    12 条回复    2022-03-13 08:31:25 +08:00
    Buges
        1
    Buges  
       2022 年 3 月 12 日 via Android
    你这个 fib 是个纯函数,结果又忽略了,估计直接被优化没了。
    mofe
        2
    mofe  
    OP
       2022 年 3 月 12 日
    ![]( https://mofe.io/2022/0312/MgeZTedJUJry-HSCmIfjm.png)

    测试过了,加了 `console.log` 速度没差别
    xiaopc
        3
    xiaopc  
       2022 年 3 月 12 日 via iPhone
    ghc 开优化呢
    mofe
        4
    mofe  
    OP
       2022 年 3 月 12 日
    ![]( https://mofe.io/2022/0312/zyom0llV0weKRYKiyAH0R.png)


    @xiaopc 开了优化之后 3.4 秒,的确快了很多,但还是比 nodejs 慢

    ![]( https://mofe.io/2022/0312/5ZhTUUyerKhkk51-pV5kt.png)
    mofe
        5
    mofe  
    OP
       2022 年 3 月 12 日
    使用 `ghc -O2 --make fib.hs`这个参数,还有什么优化方法吗?
    @xiaopc
    secondwtq
        6
    secondwtq  
       2022 年 3 月 12 日   2
    GHC 默认的 class constraint 实现是传一个类似于 vtable 的东西进去,相当于 Java 泛型(真不是黑 Java ...
    并且默认所有的值都是 boxed
    就是说你每加一次都是调个函数

    你可以把 class constraint 去掉改成 Int 加优化,或者直接用 unboxed 不开优化也可以。离 C 差点,干掉 JS 还是问题不大的
    wlh233
        7
    wlh233  
       2022 年 3 月 12 日   2
    类型写成 fib :: Int -> Int 就快了
    mofe
        8
    mofe  
    OP
       2022 年 3 月 12 日
    ```haskell
    fib :: Int -> Int
    fib n =
    if n < 2 then
    n
    else
    fib (n - 1) + fib (n - 2)

    main :: IO()
    main = do
    print (fib 40)
    ```

    @wlh233
    @secondwtq

    真的是,代码改成这样只需要 0.46s 就运行完了。。。果然 haskell 更快些。。。


    ```haskell
    fib :: Int -> Int
    fib 0 = 0
    fib 1 = 1
    fib n = fib(n-1) + fib(n-2)

    main :: IO()
    main = do
    print (fib 40)
    ```
    这个版本和上面慢一丢丢。。0.48s 左右
    wlh233
        9
    wlh233  
       2022 年 3 月 12 日
    我觉得是因为 haskell 里有 Int 和 Integer 两种整数类型,你那么写它用的类型应该是 Integer ,相当于用了个大数类
    mofe
        10
    mofe  
    OP
       2022 年 3 月 12 日
    @wlh233 的确是 Integer 的锅,
    ```haskell
    fib :: Integer -> Integer
    fib 0 = 0
    fib 1 = 1
    fib n = fib(n-1) + fib(n-2)

    main :: IO()
    main = do
    print (fib 40)
    ```

    这段代码跑了 3.33 秒
    ![]( https://mofe.io/2022/0312/FX3bYI2n2il4K7HD515rj.png)
    7S5cVx
        11
    7S5cVx  
       2022 年 3 月 12 日
    歪个楼,不想开 `O2` 的可以这么写

    ```haskell
    {-# LANGUAGE MagicHash #-}

    import GHC.Exts

    fib' :: Int# -> Int#
    fib' 0# = 0#
    fib' 1# = 1#
    fib' n = fib' (n -# 1#) +# fib' (n -# 2#)
    {-# INLINE fib' #-}

    main :: IO ()
    main = print $ I# (fib' 40#)
    ```

    换个形式写可能还会更快 ( :doge:
    mofe
        12
    mofe  
    OP
       2022 年 3 月 13 日
    @7S5cVx 这啥编程语言啊,还有魔法。。。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     1884 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 26ms UTC 08:31 PVG 16:31 LAX 00:31 JFK 03:31
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86