-
- いいね！0
しいたけ
@yuroyoro
@halcat0x15a うん。それは分かる。 NaturalTransformation[List,Option]って型があったとき、NaturalTransformation[Seq,Some]がサブタイプになれる?
2012-08-13 22:46:09
Kenji Yoshida
@xuwei_k
@yuroyoro @halcat0x15a ちょっとためしたけど、よくわからなかったです・・・ https://t.co/nK7J6kTw
2012-08-13 22:56:12
Kenji Yoshida
@xuwei_k
@halcat0x15a (いつの頃と比べてるのかわからないけど) typelevel は、ほとんどファイルの最終更新が 3〜4ヶ月前とかで、それほど最近は更新されてないような http://t.co/db2ozfj0
2012-08-13 23:09:54
拡大
Kenji Yoshida
@xuwei_k
@yuroyoro @halcat0x15a Seq ~> Some が List ~> Option のサブタイプになれるのは予想通りそうですね https://t.co/XmNL9Dia
2012-08-13 23:18:35
ssmylh
@ssmylh
高カインド型でも同じなのかー。Function1[-T1,+R]の型パラメータが半変,共変に対して、NaturalTransformation[-F[_], +G[_]]も同様に考えていいぽい。
2012-08-13 23:45:47
病気の美少女
@lyrical_logical
~> みたいなジェネリックな形になるから皆わけわからなくなるだけで、みなさんは知らぬ間に rank2 polymorphism 相当のコードを書いているはずなのだ。型パラメタを取るメソッドを持つオブジェクトを引数に取るメソッドなんていくらでも書いたことありますよね？
2012-08-13 23:49:09
Kenji Yoshida
@xuwei_k
@halcat0x15a これを case object に書き換えてみようとしたら気づいたけど https://t.co/wUH6lTyg Kind のレベルでの Nothing にあたるものが存在しない(?)から、classになってるとかじゃなくて？
2012-08-13 23:49:55
病気の美少女
@lyrical_logical
みたいなことをたまに思うのだけど、これ前きなばさんが言ってたことと同じか 頭悪い子が考えること、頭いい人がとっくの昔に考えてるパタンーだ
2012-08-13 23:50:36
Kenji Yoshida
@xuwei_k
case object GenericNil extends GenericList[すべてのkindのサブタイプになれるkind]
2012-08-13 23:52:14
病気の美少女
@lyrical_logical
型コンストラクタ（皆さんが高カインド型と読んでいるもの）に対する variance の指定、仕様には詳細が記述されてなかったはずでつまりその意味は実装依存である！（そんな話をすくみずさんと以前した記憶がある
2012-08-13 23:59:11