IK
Size: a a a
2020 May 22
MK
Постоянно с этой проблемой сталкивался, никогда не читал что это)
По идее нижележащая система типов, System F, позваляет создавать типы с forall как угодно глубоко
MK
Но в хаскеле forall разрешен только на верхнем уровне
MK
Потому что иначе ломается вывод типов
MK
А его все любят
MK
Некоторые расширения типа RankNTypes и ExistentialQuantification дверцу приоткрывают, но не до конца
MK
а как же если я заверну в
data? Это тоже считается на верхнем уровне?Не уверен что констрейнт можно завернуть в дату
IK
Не уверен что констрейнт можно завернуть в дату
ну через Proxy какую-нибудь. У нас же эказемпляры
Contraint — ровно такой же тип как и *MK
В общем, ты не можешь сделать data Foo = Foo Int (forall a. a)
MK
Потому что тут форолл не на верхнем уровне даты
MK
Особенно это видно если дату как гадт записать
MK
Хотя это было бы ранк 2
MK
Но ранк 2 конструкторы нельзя