暗黙のパラメータ

ImplicitParams

6.8.1以降

暗黙のパラメータを要求する関数の定義を許す．

code: ip1.hs

動的束縛制約は，型クラスシステムにおける新しい述語の形式にすぎない．

code: ip2.hs

sort = sortBy ?cmp

暗黙のパラメータでの型制約

code: ip3.hs

least xs = head (sort xs)

クラスまたはインスタンスの宣言のコンテキストでは，暗黙のパラメータを持つことはできない．たとえば，以下の宣言はどちらも違法である．

code: ip4.hs

class (?x::Int) => C a where ...

理由

どの暗黙のパラメータを選択するかは，関数を呼び出す場所によって異なる．しかし，インスタンス宣言の「呼び出し」は，コンパイラによって舞台裏で行われるため，それがどこで行われるのかを正確に把握するのは困難である．最も簡単なのは，(訳注：このような)問題のある型を違法とすることだ．(訳注：故に，このような型クラスやインスタンス宣言のコンテキストでの暗黙のパラメータの使用は禁じられている．)

暗黙のパラメータ制約はあいまいさを引き起こさない．たとえば，

code: ip5.hs

f n = n + length ?x

g :: (Read a, Show a) => String -> String

g s = show (read s)

暗黙のパラメータの束縛

code: ip6.hs

min = let ?cmp = (<=) in least

暗黙パラメータ束縛群は，暗黙なスタイルの変数への単純な束縛の集まりでなければならない(関数スタイルの束縛や型シグネチャがあってはならない)．これらの束縛は多相的で(訳注:あってはいけ)ないし，再帰的で(訳注:あってもいけ)ない．

code: ip7.hs

f t = let { ?x = t; ?y = ?x+(1::Int) } in ?x + ?y

code: ip8.hs

f :: (?x::Int) => Int -> Int

となる．

暗黙のパラメータと多相再帰

これら二つの定義について考えよう．

code: ip9.hs

len1 xs = let ?acc = 0 in len_acc1 xs

len_acc1 [] = ?acc

len_acc1 (x:xs) = let ?acc = ?acc + (1::Int) in len_acc1 xs

------------

len2 xs = let ?acc = 0 in len_acc2 xs

len_acc2 [] = ?acc

len_acc2 (x:xs) = let ?acc = ?acc + (1::Int) in len_acc2 xs

code: ip10

Prog> len1 "hello"

0

Prog> len2 "hello"

5

型シグネチャを追加することで結果が劇的に変わるのである．これは，かなり直感に反する現象であり，気をつけるべき現象である．

暗黙のパラメータと単相

GHCは恐ろしい単相性制限(Haskellレポートのセクション4.5.5)を暗黙のパラメータに適用する．たとえば，以下の例を考えよう．

code: ip11.hs

f :: Int -> Int

f v = let ?x = 0 in

let y = ?x + v in

let ?x = 5 in

y