> Ты ещё хотел, чтобы это и в языке было? 8-0 Ну они могут - компилятор-то сами пишут. Чёрт их знает. Но судя по всему - просто неаккуратный выхлоп внутренностей выводильщика кайндов...
> Я пока даже не знаю, что это такое вообще! Да просто вместо звёздочек лезет. И работает как звёздочка
Prelude> :k (->) Int
(->) Int :: ? -> *
Prelude> :k (->) Int Bool
(->) Int Bool :: *
А какая разница, если она себе изоморфна согласно изоморфизму, который она же сама из себя представляет? Это лишь ты как интерпретатор находясь якобы "снаружи" даёшь ей такое определение.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
zaluzianskya and ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
skylark_photos
no subject
Date: 2008-01-23 02:37 pm (UTC)data Li :: ? -> * where Ni :: Li a Co :: a -> Li a -> Li aдаетparse error on input `?'
no subject
Date: 2008-01-23 02:46 pm (UTC)Я пока даже не знаю, что это такое вообще!
no subject
Date: 2008-01-23 02:51 pm (UTC)Ну они могут - компилятор-то сами пишут. Чёрт их знает. Но судя по всему - просто неаккуратный выхлоп внутренностей выводильщика кайндов...
> Я пока даже не знаю, что это такое вообще!
Да просто вместо звёздочек лезет. И работает как звёздочка
no subject
Date: 2008-01-23 02:55 pm (UTC)no subject
Date: 2008-01-23 03:34 pm (UTC)no subject
Date: 2008-01-23 07:47 pm (UTC)Это лишь ты как интерпретатор находясь якобы "снаружи" даёшь ей такое определение.
no subject
Date: 2008-01-23 02:59 pm (UTC)Объяснение с негодованием отметается как нефункциональное! :-)
no subject
Date: 2008-01-23 03:23 pm (UTC)? маркирует ковариантность, а ?? - контравариантность :)))
no subject
Date: 2008-01-23 03:29 pm (UTC)тогда вопрос, что будет маркировать "???"
no subject
Date: 2008-01-23 03:32 pm (UTC)no subject
Date: 2008-01-23 07:42 pm (UTC)