(
в расте монады вот есть
Questionable, have a nice day
Size: a a a
2020 October 30
IP
Questionable, have a nice day
а что?
AM
Пиздец, всю работу на день загубили, ироды
(
Не нужны для них никакие тайпклассы
Нужны, в контракте есть конструктор
pure : a -> f<a>AN
без них это неудобно
Смотря что ты понимаешь под монадами. Сами они отлично работает. Затыкание ими всех дыр - нет. Но и не надо
IP
Пиздец, всю работу на день загубили, ироды
?
(
а что?
Ты про вот этот синтаксис с async/await?
AM
Да полдня интересный пиздёж в чатах, работать некогда
IP
Ты про вот этот синтаксис с async/await?
нет, ты что
IP
Ты про вот этот синтаксис с async/await?
я про Result, например
AN
Да полдня интересный пиздёж в чатах, работать некогда
Делайте как я. Я в метро еду
(
я про Result, например
Ну типа да, он является монадой, но все остальное, что является монадой в теории, ты одним контрактом не заткнёшь
AN
Нужны, в контракте есть конструктор
pure : a -> f<a>Это уже хаскель специфика. Для голой монады это не надо. Стих
(
Это уже хаскель специфика. Для голой монады это не надо. Стих
Это, разумеется, неправда
AM
Делайте как я. Я в метро еду
Я сейчас, к сожалению, лишён чудесной возможности добираться на работу на протяжении некоторого отрезка времени. Чуть ли не единственное, по чему я скучаю.
(
Без конструктора получится полмонады
AN
Я сейчас, к сожалению, лишён чудесной возможности добираться на работу на протяжении некоторого отрезка времени. Чуть ли не единственное, по чему я скучаю.
Я туда езжу 2 дня в неделю. Отличный график
I
Я сейчас, к сожалению, лишён чудесной возможности добираться на работу на протяжении некоторого отрезка времени. Чуть ли не единственное, по чему я скучаю.
Да, сейчас многим до работы всего пара шагов.
AN
Без конструктора получится полмонады
Там нигде не сказано, что должен быть полиморфный по типу конструктор
AM
Я туда езжу 2 дня в неделю. Отличный график
Не, в офис я совершенно точно ездить не буду — во-первых, он у нас переехал к чёрту на кулички, во-вторых, там полно ковидиотов сидит.