関数型プログラミング言語Haskell Part17
■ このスレッドは過去ログ倉庫に格納されています
0776デフォルトの名無しさん
2012/03/02(金) 22:47:19.28これ↑を読んでたんですけど
Functorのインスタンスを説明するところで((->) e)はファンクタだって記述がありました。
GHCIとかで:typeしてもエラーにしかならないんですけど
(->)ってのは普通の演算子じゃなくて、型宣言のところに出てくるアレって解釈であってますか?
よくわかってないですが、型より一段階メタな種を扱う演算子みたいな扱い??
もし可能であれば、((->) e)のFunctor実装がどんな感じになるか教えてもらえないでしょうか。
■ このスレッドは過去ログ倉庫に格納されています