関数型プログラミング言語Haskell Part22
■ このスレッドは過去ログ倉庫に格納されています
0396デフォルトの名無しさん
2013/05/12(日) 18:06:52.47f :: a -> b -> c
と書いたら、
f :: forall a b c. （a -> b -> c）
という意味になる。つまりforallが型全体にかかる。これが「一番外側」の意味
これ以外の場所にforallが必要なら、明示しないといけない。例えば、
f :: forall a c. (a -> (forall b. b) -> c)
■ このスレッドは過去ログ倉庫に格納されています