Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

2020 May 06

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
тогда это не dsl, не так ли? тогда это просто хостовый язык
Это eDSL, в нём можно взять какое-то подмножество синтаксиса хостового языка.
источник

КП

Крылатый Пегас... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
я вчера например пошел и прочел статьи Гранина, после чего укрепился в мнении, что даже если бы это работало - это стоило бы сломать
Почему?
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
это у вас кодовая фраза такая, что ли? какой контроль и каких эффектов?
Если хочется иметь возможность работать с побочными эффектами в ссылочно-прозрачном виде, то взять для этого eDSL - это нормальный вариант.
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
это у вас кодовая фраза такая, что ли? какой контроль и каких эффектов?
Они так друг друга распознают
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Если хочется иметь возможность работать с побочными эффектами в ссылочно-прозрачном виде, то взять для этого eDSL - это нормальный вариант.
Понятнее не стало
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vasily Shapenko
Понятнее не стало
Если хочется работать с асинхронными задачами, мутабельностью, работой с окружением, вводом-выводом и т.д., как с обычными значениями в языке, то взять для этого eDSL  -это нормальный вариант.
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Если хочется работать с асинхронными задачами, мутабельностью, работой с окружением, вводом-выводом и т.д., как с обычными значениями в языке, то взять для этого eDSL  -это нормальный вариант.
Сказки
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vasily Shapenko
Сказки
Что сказки?
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Что можно работать с ними как с обычными значениями в языке?
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Добро пожаловать в хаскель, там всё это из коробки.
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Скала не совсем хаскель
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Т.е. я допускаю, что в хаскеле это валидный подход
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vasily Shapenko
Скала не совсем хаскель
Ну смотря в чём. На хаскеле устраивать грязную магию точно так же можно, было бы желание.
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Хотя на самом деле я просто не понимаю терминологию
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Был бы я хаскелистом, наверное понял бы
источник

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Если хочется иметь возможность работать с побочными эффектами в ссылочно-прозрачном виде, то взять для этого eDSL - это нормальный вариант.
и всякий раз, когда я задаю такой вопрос - прямого ответа никогда нет. ты намекаешь, что в ссылочно-прозрачном коде нет штатных методов работы с
источник

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
эффектами?
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
и всякий раз, когда я задаю такой вопрос - прямого ответа никогда нет. ты намекаешь, что в ссылочно-прозрачном коде нет штатных методов работы с
Вопрос - почему именно eDSL или почему именно MTL?
источник

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Вопрос - почему именно eDSL или почему именно MTL?
не, вопрос не как контролировать эффекты, а 1) что подразумевается под контролем эффектов? и 2) как конкретно они контролируются?
источник

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
самое близкое, что мне рассказывали - это мол мы создаем интерпретатор и в этом интерпретаторе мы можем подменить реальный вызов к БД (например) на мок. но подозреваю, что это неправда. т.к. если это правда, то это все бессмысленно
источник