КП
(Или я слишком широко понимаю этот термин в данной дискуссии?)
Size: a a a
2020 May 06
SN
какой нибудь ZIO заставляет тебя писать for { }
об этом и речь, просто запутались в терминологии. не путайте квантор существования с квантором всеобщности: любой eDSL - это библиотека (чаще всего), но не любая библиотека - это dsl.
DS
Любое использование LINQ в шарпе и CE в F# - это использование eDSL
SN
Ваще, SQL тоже DSL. ;P
он не встроенный
SN
Любое использование LINQ в шарпе и CE в F# - это использование eDSL
да, это так.
DS
об этом и речь, просто запутались в терминологии. не путайте квантор существования с квантором всеобщности: любой eDSL - это библиотека (чаще всего), но не любая библиотека - это dsl.
Ну грань достаточно тонка
DS
Да те же джавовые стримы - это тоже eDSL
SN
только все три примера - dsl общего назначения. freemonads\mtl -
SN
это крайне специфические dsl
DS
это крайне специфические dsl
Так tagless final или фри монады - это один из возможных инструментов для написания eDSL
SN
одно дело уметь трансформировать вообще любой поток, другое дело пытаться закодить dsl для моей конкретной прикладной задачи
SN
Так tagless final или фри монады - это один из возможных инструментов для написания eDSL
это да, но я говорю о том, что идея решать прикладную задачу (перекладывания жсонов) написанием edsl - так себе идея
DS
это да, но я говорю о том, что идея решать прикладную задачу (перекладывания жсонов) написанием edsl - так себе идея
Зависит от задачи сильно.
SN
потому что в 99% случаев спецификаций нет, требования растут по мере роста проекта, через полгода разработки 80% усилий - это попытки чинить dsl, придуманный без понимания домена вообще
SN
см. тот же скалачатик, где подавляющее большинство вопросов - вопросы в стиле "как мне вылезти из петли, которую я сам себе связал?"
DS
потому что в 99% случаев спецификаций нет, требования растут по мере роста проекта, через полгода разработки 80% усилий - это попытки чинить dsl, придуманный без понимания домена вообще
eDSL в таком случае выступает просто как подход к проектированию приложения, где ты его собираешь из набора eDSL.
И как любой из подходов к проектированию - на нём можно сделать хрень.
И как любой из подходов к проектированию - на нём можно сделать хрень.
SN
eDSL в таком случае выступает просто как подход к проектированию приложения, где ты его собираешь из набора eDSL.
И как любой из подходов к проектированию - на нём можно сделать хрень.
И как любой из подходов к проектированию - на нём можно сделать хрень.
можно. но почему-то с mtl\tf хрень получается чаще. точнее, в подавляющем большинстве случаев получается хрень
SN
не знаю, может там пороблено, но во всех компаниях, где была скала, команда, выбравшая котов\скалаз, никогда ничего не деливерила. вот вообще
SN
команды выбравшие что-то тупое типа play - те деливерили. криво-косо, но хотя бы что-то