Size: a a a

PureScript — русскоговорящее сообщество

2018 February 27

к

кана in PureScript — русскоговорящее сообщество
это же просто автовывод, как wildcard во флоу
источник

λO

λeonid Onokhov in PureScript — русскоговорящее сообщество
обратитесь уже к книжке
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
ладно, пока не догоняю как оставив тип убрать ворнинг)
источник

l

la gente está muy loca in PureScript — русскоговорящее сообщество
кана
это же просто автовывод, как wildcard во флоу
В флоу это и называется Existential Type
источник

к

кана in PureScript — русскоговорящее сообщество
la gente está muy loca
В флоу это и называется Existential Type
я в курсе, это никак не относится к теме
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
λeonid Onokhov
обратитесь уже к книжке
purescript by example? я ее мне кажется уже наизусть знаю) мб я не вижу где про это написано просто
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
я думаю тут можешь поискать
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
да можешь ишью завести и спросить
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
спасибо, блин, надо было самому догадаться загитхабить
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
спасибо, блин, надо было самому догадаться загитхабить
это ирония? меня обычно посылают после такой помощи
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
как ты вообще эту штуку раскопал? если её не найти в книге
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
типа почему бы всё вместе пачкой не выкатить
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
https://github.com/purescript/purescript/issues/1043
короче об этом никто толком не думал. штука видимо такой и задумывалась. уж точно ничего общего с экзистенциальным не имеет
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
ну да, т.е. если есть алиас с роу, то либо () (если ничего не надо дополнительно в объекте, ну типа options ∷ Options Int ()), либо определять свой тип и указывать явно (options ∷ Options Int ( width :: Int, height :: Int, ...)), в моем случае там столько настроек, что чувак запарился бы их описывать в типах, поэтому видимо оставил _
эти вайлдкарты мб реально удобно использовать как затычки, чтобы посмотреть тип (типа как дырки,да), но оставлять так понятное дело нельзя
(в общем то @kana_sama это и написал вначале)
источник