haskell-ja > Archives

2011/12/08 01:00:58 UTCcutsea110

ほとんどなんでも単一化できそうだ。

2011/12/08 03:17:50 UTCkazu

"More liberal than liberal type synonyms"http://www.mail-archive.com/haskell-cafe@haskell.org/msg95195.html

2011/12/08 03:25:13 UTCkazu

結局、酒井さんと同じ答えが返ってきてるなぁ。

2011/12/08 08:21:38 UTCsakai

これはいいまとめだなぁ。
http://www.mail-archive.com/haskell-cafe@haskell.org/msg95209.html
For short, type synonyms work for mere aliases, but not for full-fledged type-level non-inductive functions.
And sometimes we intuitively want to use them as such.

<< 2011/12/07

Back to the chat room

2011/12/09 >>

haskell-ja > Archives > 2011/12/08