ŹR
with - это же монада
Size: a a a
2018 December 03
ŹR
{:ok, value} | {:error, reason} - тоже
ŹR
В чем тогда вопрос "используете ли вы монады в эликсире"?
YZ
К вечному вопросу о монадах. Есть те кто в продакшене использует их в elixir? И если да, то зачем вы это делаете? Я понимаю в хаскелл это часть языка и там без этого никак. Но они ведь реально усложняют чтение кода. Есть реальная необходимость в их использовании?
Альтернатива монадам - - исключения. Они улучшают чтение кода? :)
D
одназначно улучшают
AM
У Пелевина в книжке Generation Пи было что про монады
D
может не оч. красиво иметь много rescue, но код понятнее
YZ
Может, это просто вопрос привычки. Исключениями пользовались, и привыкли. А монадами не пользовались, и не привыкли.
Е
В чем тогда вопрос "используете ли вы монады в эликсире"?
еще скажи, что точка с запятой в Java - это тоже монада, а следовательно монады нужны в Java :D
D
Yuri Zhloba
Может, это просто вопрос привычки. Исключениями пользовались, и привыкли. А монадами не пользовались, и не привыкли.
ну вот и вопрос. а надо пользоваться вообще? а то неуютно себя чувствую. все про них говорят, а я их не использую
D
не в тренде короче
YZ
Исключения концептуально похожи на goto. Оно, конечно, клева, переместиться из любого места программы. Пока не столкнешься с ситуацией, когда не понимаешь, откуда именно сюда переместилось выполнение :)
Е
{:ok, value} | {:error, reason} - тоже
в хаскельном понимании это разве можно считать монадой? монады это то что в вичкрафтах понапихано.
YZ
ну вот и вопрос. а надо пользоваться вообще? а то неуютно себя чувствую. все про них говорят, а я их не использую
Не желательно, если это не принято большинством разработчиков на данном языке.
YZ
Или, хотя бы, в твоей команде
YZ
А разобраться не лишне. Расширяет кругозор :)
Е
Yuri Zhloba
Исключения концептуально похожи на goto. Оно, конечно, клева, переместиться из любого места программы. Пока не столкнешься с ситуацией, когда не понимаешь, откуда именно сюда переместилось выполнение :)
with тоже логически похожи на goto, выполнение "прерывается" и прыгает куда-то в хвост. Мы конечно знаем, что где-то внутри в кишках, оно не прыгает, а просто байпасится, но внешне все выглядит как то же исключение.D
ну для кругозора то ладно. а с практической точки зрения. ну вот собрались командой и решили - давайте юзать монады. кроме красивых логических цепочек у них есть еще достоинства?
YZ
with тоже логически похожи на goto, выполнение "прерывается" и прыгает куда-то в хвост. Мы конечно знаем, что где-то внутри в кишках, оно не прыгает, а просто байпасится, но внешне все выглядит как то же исключение.Но это в пределах одной функции. А исключения прыгают из любого модуля в любой другой модуль :)
Е
некоторые монады встроены в сам эликсир, вроде with или даже той же do-нотации, почему бы ими и не пользоваться? А вот городить по аналогии с хаскелем - нет смысла