Size: a a a

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

2020 April 27

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
все так. жизнь слишком коротка, чтобы тратить ее на плюсы
да эти знания просто больше ну нигде не пригодятся. вот вообще. Монады сука полезнее выучить чем плюсы
источник

R

Roman in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
В хаскеле и скале
прикольно. Только я не понимаю — исключения ломают ход программы. Когда их заворачивают в монаду, внутри реализации тайпкласса трай кетч, видимо?
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Roman
прикольно. Только я не понимаю — исключения ломают ход программы. Когда их заворачивают в монаду, внутри реализации тайпкласса трай кетч, видимо?
Нет, у тебя в одном случае возвращающимся значением будет Either MyError MyResult, а во втором IO MyResult
источник

R

Roman in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Нет, у тебя в одном случае возвращающимся значением будет Either MyError MyResult, а во втором IO MyResult
и во втором случае на каком этапе надо ловить исключение?
источник

DB

Danil Braindead in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Нет, MonadError - это способ абстрагироваться от работы с ошибками:
myFunctionWithError :: (MonadError MyError m) => SomeParam -> m SomeResult
myFunctionWithError = undefined


И потом эту функцию можно будет вызывать как фукнцию, которая возвращает Either, так и как функцию, которая кидает исключение в IO.
Pure programming: We don't exceptions, nullPtr and non-deterministic states!
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Danil Braindead
Pure programming: We don't exceptions, nullPtr and non-deterministic states!
Хаскелевские исключения чистые, с ними всё ок
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
(Кроме async исключений, но это вообще отдельная история)
источник

DB

Danil Braindead in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Не информационная система, а чистый поток разума
источник

DS

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

SN

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

AH

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

SN

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

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
монады понять легче - это бесспорно
я говорил про полезнее
источник

ak

aλ>>=ix>=&g... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
а я плюсы так и ниасили. три раза пытался набегом как на Азов в свое время ушлые казаки, но древняя твердыня отбивалась. на самом деле, у меня какое-то неприятие плюсов на уровне духа.
аналогично
источник

ak

aλ>>=ix>=&g... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
aλ>>=ix>=> kononov
аналогично
особенно когда на работе есть сисярп
источник

ak

aλ>>=ix>=&g... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
и ты прям физическую боль ощущаешь
источник

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
ну вот у нас есть директор, ездит с эфшарп воркшопами по планете. разбирается не только в монадах - СТРЕЛКИ использует. есть один ньюанс - его коммиты со времен, когда он был просто разработчиком, до сих пор в нашем репозитории. и я вам скажу, что на позицию директора он поднялся далеко не из-за кода. скорее даже вопреки
источник

ak

aλ>>=ix>=&g... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
ну вот у нас есть директор, ездит с эфшарп воркшопами по планете. разбирается не только в монадах - СТРЕЛКИ использует. есть один ньюанс - его коммиты со времен, когда он был просто разработчиком, до сих пор в нашем репозитории. и я вам скажу, что на позицию директора он поднялся далеко не из-за кода. скорее даже вопреки
софтскилы порешали)
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Стрелочки в задний проход пихал?
источник

VS

Vasily Shapenko in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
ну вот у нас есть директор, ездит с эфшарп воркшопами по планете. разбирается не только в монадах - СТРЕЛКИ использует. есть один ньюанс - его коммиты со времен, когда он был просто разработчиком, до сих пор в нашем репозитории. и я вам скажу, что на позицию директора он поднялся далеко не из-за кода. скорее даже вопреки
Имя назови
источник