Recycled Bin

Ээээээто в чём?

From:

zelych.livejournal.com

Круто!
Интересно, что значат вопросики. И их количество.

From:

Загадка. И в 6.6.1 и в 6.8.1 и в 6.8.2.
При синонимизации постепенно проходит

type Fun       = (->)  
type Fun1 a    = (->) a 
type Fun2 a b  = (->) a b

дают

*Bis> :k Fun
Fun :: ?? -> ? -> *
*Bis> :k Fun1
Fun1 :: * -> ? -> *
*Bis> :k Fun2
Fun2 :: * -> * -> *

С точки зрения языка Fun, Fun1 и Fun2 вроде неразличимы, нес па?

From:

GHC

From:

Вот именно ;)

From:

Час от часу не легче!

From:

Думаю артефакт реализации GHCi. Скорее всего в явной кайндизации для GADTов даст синтаксическую ошибку. Щас попробую :)

From:

Ну ясен перец:

data Li :: ? -> * where
    Ni :: Li a
    Co :: a -> Li a -> Li a

дает
parse error on input `?'

From:

i
;)

From:

Точно!

From:

а я думаю, где же в хаскеле жопа, а вот она и есть :)

From:

Из памяти вылез Карделевский Fun :)

From:

Ты ещё хотел, чтобы это и в языке было? 8-0

Я пока даже не знаю, что это такое вообще!

From:

Что это?

From:

> Ты ещё хотел, чтобы это и в языке было? 8-0
Ну они могут - компилятор-то сами пишут. Чёрт их знает. Но судя по всему - просто неаккуратный выхлоп внутренностей выводильщика кайндов...

> Я пока даже не знаю, что это такое вообще!
Да просто вместо звёздочек лезет. И работает как звёздочка

Prelude> :k (->) Int
(->) Int :: ? -> *
Prelude> :k (->) Int Bool
(->) Int Bool :: *

From:

:-)

From:

Думаю это артефакт реализации данной вселенной - теорема Гёделя, она же парадокс Рассела и т.п.

From:

На самом деле это метакатегория :)

From:

http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf
Правда я так и не дочитал, ТФП быстрее съел мой мозг.

From:

Так этот вопросительный знак означает тот самый Вопрос о Жизни, Вселенной и всём-таком-прочем?

From:

И заметь неоднозначность формулировки "С точки зрения языка Fun, Fun1 и Fun2", там можно поменять языка на "языков", я сперва так прочёл :)

From:

> Да просто вместо звёздочек лезет.

Объяснение с негодованием отметается как нефункциональное! :-)

From:

:-))

Насчёт Кардели я понял после того, как уже отправил вопрос.

From:

Ну как я и писал - 42, хотя Адамса можно поспорить, там по сути 2 являющаяся 1

From:

Хорошо, тогда так:
? маркирует ковариантность, а ?? - контравариантность :)))

From:

хм... хорошо
тогда вопрос, что будет маркировать "???"

From:

Вот когда будет, тогда и решим, что будет маркировать ;)

From:

метаметакатегория, раз уж пошла такая пьянка :)

From:

:)))

From:

Вооо - зришь в корень - правила определяет интерпретатор :)

From: