к
это же просто автовывод, как wildcard во флоу
Size: a a a
2018 February 27
λO
обратитесь уже к книжке
VY
ладно, пока не догоняю как оставив тип убрать ворнинг)
l
это же просто автовывод, как wildcard во флоу
В флоу это и называется Existential Type
к
В флоу это и называется Existential Type
я в курсе, это никак не относится к теме
VY
обратитесь уже к книжке
purescript by example? я ее мне кажется уже наизусть знаю) мб я не вижу где про это написано просто
Вл
я думаю тут можешь поискать
Вл
да можешь ишью завести и спросить
VY
спасибо, блин, надо было самому догадаться загитхабить
Вл
спасибо, блин, надо было самому догадаться загитхабить
это ирония? меня обычно посылают после такой помощи
Вл
как ты вообще эту штуку раскопал? если её не найти в книге
VY
Вл
Вл
Вл
типа почему бы всё вместе пачкой не выкатить
Вл
https://github.com/purescript/purescript/issues/1043
короче об этом никто толком не думал. штука видимо такой и задумывалась. уж точно ничего общего с экзистенциальным не имеет
короче об этом никто толком не думал. штука видимо такой и задумывалась. уж точно ничего общего с экзистенциальным не имеет
VY
ну да, т.е. если есть алиас с роу, то либо
эти вайлдкарты мб реально удобно использовать как затычки, чтобы посмотреть тип (типа как дырки,да), но оставлять так понятное дело нельзя
(в общем то @kana_sama это и написал вначале)
() (если ничего не надо дополнительно в объекте, ну типа options ∷ Options Int ()), либо определять свой тип и указывать явно (options ∷ Options Int ( width :: Int, height :: Int, ...)), в моем случае там столько настроек, что чувак запарился бы их описывать в типах, поэтому видимо оставил _эти вайлдкарты мб реально удобно использовать как затычки, чтобы посмотреть тип (типа как дырки,да), но оставлять так понятное дело нельзя
(в общем то @kana_sama это и написал вначале)