- 780 名前：777 mailto:sage [2012/03/03(土) 00:09:57.84 ]
- >>776
> GHCIとかで:typeしてもエラーにしかならないんですけど
では、そのすぐ上に Either e も「Functor のインスタンス」だという説明がありますが、
これも :type を試されましたか？
エラーが出ますよね
だって、Either も (->) と同じように関数や演算子じゃないから
「〜は＊のインスタンス」と言った場合、〜の部分には「型」がきます
型の情報は :type では得られません（:type は値の型情報を得るもの）
型の情報は :info などで得られます
ただし、正確には :info には型ではなく型構築子を指定しないといけません
（たとえば :info Either e ではなく :info Either）
と言うことで、((->) e) は単なる型であり、意味上は何も特別なことはありません
試しに :info (->) をすれば、((->) r) 型が Functor のインスタンスだと分かります
正確に言えば (->) が種 * -> * -> * の型で、((->) e) が種 * -> * の型です
((->) e) 型のFunctor実装は処理系依存でライブラリでは公開されていませんが、
次のように解釈できるような実装になっているはずです
instance Functor ((->) e) where
fmup f g = f . g
|
 |
