関数型プログラミング言語Haskell Part3

関数型プログラミング言語Haskell Part3 at TECH

183:デフォルトの名無しさん
04/08/24 12:40
>>171-181
>　只の関数適用(f　x)と(f　$　x)って何か違うところあるの？

ある。$はただの関数だから、引数の型がそこで固定される。
f　::　a　->　(forall　b.　b　->　b)　->　a
f　x　g　=　g　x

とすると、f　0　id　はOKだが、f　0　$　id　はだめ。
ST　Monadなんかをつかっていると結構引っかかる。

次ページ

続きを表示

1を表示