MK
"мне не важно лишь бы лежало" это параметрический полиморфизм и есть
Size: a a a
2020 June 26
YS
Я к тому что можно тип рекорда не параметризовать
YS
Если всё равно, что там
аа
Я к тому что можно тип рекорда не параметризовать
как ?
YS
аа ааа
как ?
Ну просто одно поле - экзитенциальное
YS
С forall
аа
а тайпкласс с пятью параметрами это норма вообще ?
аа
мне кажется я делаю что то не так
YS
У меня есть такие)
TA
Tel Asc
Можно вопрос,как написать инстанс Item world obj (Item' world obj)...
У меня есть подозрение,что его вообще нельзя написать,но может и возможно...
https://pastebin.com/MYLw9dQp
У меня есть подозрение,что его вообще нельзя написать,но может и возможно...
https://pastebin.com/MYLw9dQp
При том мне кажется,что если писать не через монады,то оно будет работать норм,но мб это только мне так кажется...
аа
У меня есть такие)
тогда ладно, спасибо
YS
Но я не пример и не показатель!
TA
аа ааа
а тайпкласс с пятью параметрами это норма вообще ?
Если тебе это действительно нужно,то почему нет?
аа
ну, звучит логично
AV
Есть Any, он через тайпабл
есть Any он что угодно и без typeable
MK
я ниже поправил
AV
type family Any :: k whereAV
Там можно что угодно положить
AV
Но lifted
JS
аа ааа
Да как-то вроде мне не важно что там за тип
на самом деле важно. увидишь, когда будешь доставать и использовать