These are chat archives for scalajp/functional

14th
Feb 2016
lyrical logical
@lyricallogical
Feb 14 2016 14:28
type alias は type F = ... みたいな本当に単なる別名の場合は元の定義の kind に従う、単なる別名ではなく型パラメタを導入した場合は元の定義の kind ではなく別名の方の kind に従うという感じ…な気がする…
処理系のコード読まないと仕様にも書いてないし知るかという気持ちになるけど単なる別名は大丈夫そうなのでこれであほみたいにながい MT の型毎回書かなくて済むゾ~
kenji yoshida
@xuwei-k
Feb 14 2016 15:39
経験的に、確かにそんな挙動だった気はする。type alias