Телеграмм чат группы purescript

Size: a a a

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

79 membersпожаловаться на группу

2018 February 20

Aleksei (astynax) Pirogov in PureScript — русскоговорящее сообщество

Тут тоже ничего не происходит

источник

11:14пожаловаться

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

этот чат был куда мертвее элмовского

источник

11:21пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

А кто нибудь OCaml пробовал? Я читал что он с BuckleScript (компилятор в JS) уделывают Elm по скорости генерируемого кода. Ну и язык сам очень приятный — простой и выразительный.

источник

11:32пожаловаться

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество

Да, ничего экспериментального в пурскрипте нету, там только испытанные фичи. То, что проверенные фичи из 80-х и 90-х, а не из 60-х и 70х не делает язык экспериментальным. Все-таки сейчас 2018-й год

источник

11:43пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

Ну не, эффекты на роу типах довольно новая фича, не?

источник

11:44пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

Да и алгоритм вывода типов тоже на основе довольно новой бумаги реализован. Бидиректионал что то там.

источник

11:45пожаловаться

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество

ну это детали, двусторонний вывод сам по себе не новая фича, да и роу-полиморфизм. Делать в языке роу-полиморфизм в 95-ом году это эксперимент, а в 15 это уже просто делать язык "по учебнику" с использованием довольно старого уже опыта

источник

11:47пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

ну может быть... эффекты на роу типах по моему оригинальная фича там

источник

11:47пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

сам роу полиморфизм понятно что не новый

источник

11:48пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

кстати, что с Eff — я слышал что они хотят пойти в сторону меньшей гранулярности — IO. Есть какая то мотивация для этого?

источник

11:48пожаловаться

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество

я видел тикет с обсуждением, сейчас попробую найти

источник

11:50пожаловаться

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество

https://github.com/purescript/purescript/issues/3080

GitHub

Switch from Eff to IO #3080

Optimizer rules need to be updated as part of the switch to IO as the default effect monad.

источник

11:51пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

спасибо

источник

11:52пожаловаться

A🚀

Andrey 🚀🚀🚀 Popp in PureScript — русскоговорящее сообщество

вот хорошее саммари оттуда нарыл — https://github.com/purescript/purescript-eff/issues/25#issuecomment-312741596

GitHub

Use untagged `IO` as default, with tagged `Eff` to supplement. #25

Discuss.

источник

12:00пожаловаться

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество

ну, все к тому сводится, что IO индексированное списком эффектов это не настоящая система алгебраических эффектов, как у Олега, того же, а просто IO с дополнительной документацией

источник

12:02пожаловаться

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

для алгребраических эффектов есть run, там в ридми даже хорошо расписан подход
https://github.com/natefaubion/purescript-run

GitHub

natefaubion/purescript-run

An extensible-effects implementation. Contribute to natefaubion/purescript-run development by creating an account on GitHub.

источник

12:12пожаловаться

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

Aleksei (astynax) Pirogov

Да нет никакого тренда. Только Rust и обратил внимание

Хаскеллисты тоже обращают внимание: https://skillsmatter.com/skillscasts/9879-an-informal-guide-to-better-compiler-errors-jasper-van-der-jeugt

Skillsmatter

An informal guide to better compiler errors with Jasper Van der Jeugt | SkillsCast
| 3rd April 2017

HaskellX Bytes community cast. Jasper Van der Jeugt: Haskell is very commonly used to implement DSLs. When you implement one of these DSLs, the focus is usua...

источник

12:59пожаловаться

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

Ну тут-то, очевидно, кто-нибудь работал с PureScript, да?

источник

16:21пожаловаться

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

А если тут кто-нибудь когда-нибудь работал с PureScript, поясните, как у него с производительностью относительно обычного JS? И как у него с интеграцией с существующими JS-фреймворками?

источник

16:21пожаловаться

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

kosc

Интеграция руками, если нет пакета-обертки. Производительность 1:1 примерно.

источник

16:22пожаловаться