- 776 名前：デフォルトの名無しさん mailto:sage [2012/03/02(金) 22:47:19.28 ]
- ttp://snak.tdiary.net/20091020.html
これ↑を読んでたんですけど
Functorのインスタンスを説明するところで((->) e)はファンクタだって記述がありました。
GHCIとかで:typeしてもエラーにしかならないんですけど
(->)ってのは普通の演算子じゃなくて、型宣言のところに出てくるアレって解釈であってますか?
よくわかってないですが、型より一段階メタな種を扱う演算子みたいな扱い??
もし可能であれば、((->) e)のFunctor実装がどんな感じになるか教えてもらえないでしょうか。
