- 1 名前：デフォルトの名無しさん mailto:sage [2012/01/02(月) 22:19:28.26 ]
- haskell.org
ttp://www.haskell.org/
日本語サイト
ttp://www.sampou.org/cgi-bin/haskell.cgi
ttp://www.shido.info/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html
Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/
Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/
Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/
Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/
Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/
Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/
Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/
Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/
Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/
Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/
Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/
Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/
- 784 名前：デフォルトの名無しさん mailto:sage [2012/03/03(土) 00:48:51.17 ]
- >>780 >>782
なるほど、型と値をごっちゃに考えてたせいで要領を得ない質問になってました。
手がかりは頂いたので、もうちょっと考えてみます。
詳しい解説ありがとうございました。
- 785 名前：780 mailto:sage [2012/03/03(土) 00:56:05.16 ]
- >>784
手がかりついでに
>>776
> (->)ってのは普通の演算子じゃなくて、型宣言のところに出てくるアレって解釈であってますか?
> よくわかってないですが、型より一段階メタな種を扱う演算子みたいな扱い??
(->) が演算子（関数）ではなく、種 * -> * -> * の型であることは先ほど言いましたが、
これは同時に「型構築子」とも暗に言いました（(->) e は型構築子ではありませんよ）
意味上は特別なことはありません、単なる型構築子です
だから例えば f :: Int -> String -> Bool -> Maybe Char という型の関数は、
本当は f :: (->) Int ((->) String ((->) Bool (Maybe Char))) と型シノニムを書くべきで、
でも何も特別なことをしなくても中置演算子のように書けるのは一種の構文糖衣なんです
本来、アルファベットではなく演算子の形をした識別子を型構築子として使って中置したかったら、
識別子をコロンで始めないといけませんから（:* とか :+: とか :-> とか）
|
 |
