haskell-ja > Archives

2015/02/25 04:28:13 UTC[1..100]>>=pen

型変数一つだけとる型コンストラクタで functor に成りえないものっと何があります？

2015/02/25 04:44:07 UTCnobsun

GADTの類かなぁ。

2015/02/25 04:49:15 UTCnobsun

ちがうな。

2015/02/25 04:53:21 UTCnobsun

あれいいのか。

2015/02/25 04:58:06 UTCnobsun

いやだめか。< どっちやねん

2015/02/25 05:55:05 UTCkazu

米田の補題で functor になることは保証されているのではないですか？

2015/02/25 06:34:14 UTCnobsun@twitter

kwsk plz

2015/02/25 06:49:26 UTC[1..100]>>=pen

いわゆる米田の補題に出てくる型コンストラクタは「functorとすると」という仮定から

始まりますよね。functor であることが出てくるのではなく。

2015/02/25 07:13:00 UTCmaoe

Ptrとか

2015/02/25 07:16:50 UTCmaoe

MVarとかIORefみたいなのもですね

2015/02/25 08:07:59 UTC[1..100]>>=pen

そうか。普通の代数データ型使って inductive（？）に定義すると自然と functor の構造が入るのか。

2015/02/25 08:41:50 UTCsakai

data U a = U (a -> a) とか。

2015/02/25 11:06:49 UTC[1..100]>>=pen

なるほど data U a = U (a -> a) は共変にも反変にもなれそうにないですね（どうやって不可能性を証明するんだろう）。多項式的なものしか考えてなかった orz。

2015/02/25 11:53:00 UTC[1..100]>>=pen

型 (a -> b) -> U a -> U b を持つ関数って何かある？

haskell-ja > Archives > 2015/02/25