Programming-in-Haskell-2nd-edition_memo_6
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[プログラミング Haskell 第 2 版 >Programming-in-Haskell-...
*プログラミング Haskell 第 2 版 [#kb7c4c14]
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
*第6章 再帰関数 [#z8bb2e5d]
**6.5 相互再帰 [#eaa0312f]
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 ...
(and originally defined in ...
or ‘Main.odd’, defined at p067...
|
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 ...
(and originally defined in ...
or ‘Main.even’, defined at p06...
|
10 | odd n = even (n-1) | ^^^^
***Haskellモジュールのimport文 [#xe40b16c]
＜エラー調査＞
「Ambiguous occurrence」 → 直訳「あいまいな発生」
-[[haskell Ambiguous occurrence error - Google 検索>https...
-[[Preludeの関数をhidingで隠す - 結城浩のHaskell日記 - ha...
>Preludeモジュールを明示的にimportしておき、hiding構文を...
たとえば以下のようにmapを定義しようとするとエラーになりま...
map _ [] = []
map f (x:xs) = f x : map f xs
GHCiでの実行結果です。
Compiling Main ( a.hs, interpreted )
a.hs:2:21:
Ambiguous occurrence `map'
It could refer to either `Main.map', defined at a.hs...
or `GHC.Base.map', imported fr...
Failed, modules loaded: none.
以下のようにPreludeモジュールを明示的にimportし、hiding構...
import Prelude hiding (map)
map _ [] = []
map f (x:xs) = f x : map f xs
すると、以下のようにエラーがなくなります。
-[[関数 - ウォークスルー Haskell>http://walk.northcol.org...
>import Prelude hiding (even, odd) -- 標準関数の even, o...
まさにこの一行を先頭に入れたら、エラーメッセージが出なく...
-[[お気楽 Haskell プログラミング入門>http://www.nct9.ne.j...
>●モジュールの使い方
Haskell の場合、モジュールは import 文を使って読み込みま...
import モジュール名
必要な関数 (変数) だけインポートすることもできます。
import モジュール名 (名前, ...)
モジュール名の後ろのカッコの中にインポートする関数を指定...
import モジュール名 hiding (名前, ...)
hiding を付けると、指定された関数はインポートされません。...
実験のため、Preludeモジュールの標準関数を隠す必要がある場...
import Xxx hiding (yyy)
のように、先頭でインポートしない宣言をしておく必要がある。
odd, evenは標準関数なので、名前が重複していた？
とりあえず、エラーメッセージが出なくなったので、以後同様...
~
p.67（続き）
>Haskell では文字列が文字のリストであることを思い出しまし...
たとえば、"abcde"は単に ['a','b','c','d','e']の略記法です。
終了行:
[[プログラミング Haskell 第 2 版 >Programming-in-Haskell-...
*プログラミング Haskell 第 2 版 [#kb7c4c14]
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
}}
*第6章 再帰関数 [#z8bb2e5d]
**6.5 相互再帰 [#eaa0312f]
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 ...
(and originally defined in ...
or ‘Main.odd’, defined at p067...
|
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 ...
(and originally defined in ...
or ‘Main.even’, defined at p06...
|
10 | odd n = even (n-1) | ^^^^
***Haskellモジュールのimport文 [#xe40b16c]
＜エラー調査＞
「Ambiguous occurrence」 → 直訳「あいまいな発生」
-[[haskell Ambiguous occurrence error - Google 検索>https...
-[[Preludeの関数をhidingで隠す - 結城浩のHaskell日記 - ha...
>Preludeモジュールを明示的にimportしておき、hiding構文を...
たとえば以下のようにmapを定義しようとするとエラーになりま...
map _ [] = []
map f (x:xs) = f x : map f xs
GHCiでの実行結果です。
Compiling Main ( a.hs, interpreted )
a.hs:2:21:
Ambiguous occurrence `map'
It could refer to either `Main.map', defined at a.hs...
or `GHC.Base.map', imported fr...
Failed, modules loaded: none.
以下のようにPreludeモジュールを明示的にimportし、hiding構...
import Prelude hiding (map)
map _ [] = []
map f (x:xs) = f x : map f xs
すると、以下のようにエラーがなくなります。
-[[関数 - ウォークスルー Haskell>http://walk.northcol.org...
>import Prelude hiding (even, odd) -- 標準関数の even, o...
まさにこの一行を先頭に入れたら、エラーメッセージが出なく...
-[[お気楽 Haskell プログラミング入門>http://www.nct9.ne.j...
>●モジュールの使い方
Haskell の場合、モジュールは import 文を使って読み込みま...
import モジュール名
必要な関数 (変数) だけインポートすることもできます。
import モジュール名 (名前, ...)
モジュール名の後ろのカッコの中にインポートする関数を指定...
import モジュール名 hiding (名前, ...)
hiding を付けると、指定された関数はインポートされません。...
実験のため、Preludeモジュールの標準関数を隠す必要がある場...
import Xxx hiding (yyy)
のように、先頭でインポートしない宣言をしておく必要がある。
odd, evenは標準関数なので、名前が重複していた？
とりあえず、エラーメッセージが出なくなったので、以後同様...
~
p.67（続き）
>Haskell では文字列が文字のリストであることを思い出しまし...
たとえば、"abcde"は単に ['a','b','c','d','e']の略記法です。
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
