Size: a a a

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

2020 March 19

p

parket in PureScript — русскоговорящее сообщество
Timofey Zakrevskiy
хм, spago не в курсе турбины...
😈 Бери Halogen-5

С сигнатурами типов ничего там страшного нет. Быстро привыкнешь.
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
ну что сигнатуры? row types, глубоко там фры монады сидят
источник

TZ

Timofey Zakrevskiy in PureScript — русскоговорящее сообщество
Блин, пурса избегает успеха. Для спаго надо на малейший чих править конфиги в долле (уж не знаю, что хуже, ямл или долл).
источник

p

parket in PureScript — русскоговорящее сообщество
Timofey Zakrevskiy
Блин, пурса избегает успеха. Для спаго надо на малейший чих править конфиги в долле (уж не знаю, что хуже, ямл или долл).
ямл
источник

p

parket in PureScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
ну что сигнатуры? row types, глубоко там фры монады сидят
Не понял вопрос.
источник

TZ

Timofey Zakrevskiy in PureScript — русскоговорящее сообщество
parket
😈 Бери Halogen-5

С сигнатурами типов ничего там страшного нет. Быстро привыкнешь.
Взял свой проект трёхлетней давности, пытаюсь переехать на пятый халоген, он меня раздражает сигнатурами и неинформативными ошибками компилятора
источник

TZ

Timofey Zakrevskiy in PureScript — русскоговорящее сообщество
даже ghc и то лучше
источник

p

parket in PureScript — русскоговорящее сообщество
Какая версия компилятора?
источник

TZ

Timofey Zakrevskiy in PureScript — русскоговорящее сообщество
0,13,5
источник

p

parket in PureScript — русскоговорящее сообщество
ghc лучше, спора нет.
источник

p

parket in PureScript — русскоговорящее сообщество
0.13.5 уже нормально! :)
источник

TZ

Timofey Zakrevskiy in PureScript — русскоговорящее сообщество
Моё решение переехать на долл было ошибочно, кмк. Надо было оставаться на bower
источник

p

parket in PureScript — русскоговорящее сообщество
Мне нравится dhall.
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
кстати ща когда поликаинд будет, то еще + один вид сигнатур)
сигнатуры для каинда и даже миксы вида
forall a b c k. (a :: k) -> (b :: k -> k) ...
источник

p

parket in PureScript — русскоговорящее сообщество
Timofey Zakrevskiy
Моё решение переехать на долл было ошибочно, кмк. Надо было оставаться на bower
Я вообще за PackageSet обычно не вылажу, psc-package мне хватало.
источник

p

parket in PureScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
кстати ща когда поликаинд будет, то еще + один вид сигнатур)
сигнатуры для каинда и даже миксы вида
forall a b c k. (a :: k) -> (b :: k -> k) ...
Наконец!
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
кстати поликаиндовые семейства типов можно тоже будет делать через ValueOf (что скорее всего Нейтан тоже сделает на поликаинды)
источник

TZ

Timofey Zakrevskiy in PureScript — русскоговорящее сообщество
parket
Я вообще за PackageSet обычно не вылажу, psc-package мне хватало.
ну вот хочешь попробовать турбину - изволь вылезти, её в последнем сете под 0.13.5 нет
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Timofey Zakrevskiy
ну вот хочешь попробовать турбину - изволь вылезти, её в последнем сете под 0.13.5 нет
добавь pr
источник

p

parket in PureScript — русскоговорящее сообщество
Timofey Zakrevskiy
ну вот хочешь попробовать турбину - изволь вылезти, её в последнем сете под 0.13.5 нет
Поэтому бери галоген. Там разобраться, пол дня потратить, а потом норм будет.
источник