sirocco の書いてもすぐに忘れるメモ

GHCiで複数行の関数を定義

Haskell | 03:55 |

GHCiでパターンマッチのような複数行の関数を定義しようとすると後で定義した行のみが有効になってしまう。

Prelude> let fact 0 = 1
Prelude> let fact n = n * fact (n-1)
Prelude> fact 10
 *** Exception: stack overflow
Prelude> :t fact
fact :: (Num a) => a -> a

次のようにするとおk。

Prelude> :{
Prelude| let { fact 0 = 1
Prelude|     ; fact n = n * fact (n-1)
Prelude|     }
Prelude| :}
Prelude> fact 10
3628800
Prelude> :show bindings
fact :: (Num t) => t -> t = _
it :: Integer = 1

栄光のグラスゴーHaskellコンパイルシステム利用の手引き　バージョン6.10.2

3.4.2. プロンプトでdo記法を使う