関数型プログラミング言語Haskell Part8 at TECH
[2ch|▼Menu]
19:デフォルトの名無しさん
07/10/31 21:16:09
>>17
それはabc,def,ghiが全部a->a型だから通る。

例えばdef, ghiの型がInt -> Intだったらdef $ ghiってのは
引数がInt型の関数defにInt->Int型の引数ghiを突っ込むことになるので
Int ≠ Int->Intってことで型エラーになる。


次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

5326日前に更新/201 KB
担当:undef