プログラミング Haskell 第 2 版

プログラミング Haskell 第 2 版

#html{{

table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4908686076/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/41Korrd80qL._SL160_.jpg" border="0"></a></td><td> </td><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4908686076/vertex9-22/" target="_blank">プログラミングHaskell 第2版</a><br>Grahum Hutton<br>ラムダノート<br>2019-08-02<br>¥ 3,456</td></tr></table>
}}

第6章 再帰関数

6.5 相互再帰

p.67

関数は相互再帰を使っても定義できます。
相互再帰とは、二つ以上の関数がお互いを参照し合うことです。

たとえば、プレリュード関数 evenと oddを考えてみましょう。

p.067.hs

#code(haskell){{
even :: Int -> Bool
even 0 = True
even n = odd (n-1)

odd :: Int -> Bool
odd 0 = False
odd n = even (n-1)
}}

これをWinGHCiにロードするとエラーが発生した。

Failed, no modules loaded.
Prelude> 
p067.hs:6:10: error:
    Ambiguous occurrence ‘odd’
    It could refer to either ‘Prelude.odd’,
                             imported from ‘Prelude’ at p067.hs:1:1
                             (and originally defined in ‘GHC.Real’)
                          or ‘Main.odd’, defined at p067.hs:9:1
  |
6 | even n = odd (n-1)   |          ^^^

p067.hs:10:9: error:
    Ambiguous occurrence ‘even’
    It could refer to either ‘Prelude.even’,
                             imported from ‘Prelude’ at p067.hs:1:1
                             (and originally defined in ‘GHC.Real’)
                          or ‘Main.even’, defined at p067.hs:5:1
   |
10 | odd n = even (n-1)    |         ^^^^

Haskellモジュールのimport文

<エラー調査>

「Ambiguous occurrence」 → 直訳「あいまいな発生」

まさにこの一行を先頭に入れたら、エラーメッセージが出なくなった。

実験のため、Preludeモジュールの標準関数を隠す必要がある場合、

import Xxx hiding (yyy)

のように、先頭でインポートしない宣言をしておく必要がある。
odd, evenは標準関数なので、名前が重複していた?

とりあえず、エラーメッセージが出なくなったので、以後同様の現象が起きたら、このような方法で対処してみよう。



p.67(続き)

Haskell では文字列が文字のリストであることを思い出しましょう。
たとえば、"abcde"は単に ['a','b','c','d','e']の略記法です。


トップ   編集 凍結 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2019-08-28 (水) 00:36:16