[
Этот чел свой пакет сделал, возьми его🤷♀
Size: a a a
2021 June 08
[
Для типов-произведений нормально дерайвится
ЗП
Есть комбайн streamly
JS
это в контексте композируемости с polysemy или freer?
ЗП
у них даже своя прелюда
JS
то есть некомпозируемость ни с кем?
ЗП
почему? вроде как должно работать с foldl
ЗП
что еще классно так это доки
https://streamly.composewell.com/
https://streamly.composewell.com/
ЗП
мало где так в хаскель делают
АХ
Который чаще всего newtype derived и отличется только названием
ЗП
можно и final tagless если нужно несколько интерпретаторов
ЗП
тогда не понятно, почему говорят только об одном варианте интерпретатора
JS
немножко оффтопик, но про типы. нужен язык для решения the JavaScript problem
1. с типами, как TypeScript, PureScript
2. типы нормальные, а не это убожество TypeScript (
3. синтаксис популярный, а не ML (да, я понимаю, но код должен быть доступен как можно более широкой аудитории)
4. чтобы можно было компилировать прямо в браузере, без npm install webpack bower babel, тоже ради доступности
1. с типами, как TypeScript, PureScript
2. типы нормальные, а не это убожество TypeScript (
2 + "2")3. синтаксис популярный, а не ML (да, я понимаю, но код должен быть доступен как можно более широкой аудитории)
4. чтобы можно было компилировать прямо в браузере, без npm install webpack bower babel, тоже ради доступности