Единственное, что у меня немного не вяжется, это что у мапа сигнатура не 'a -> 'a -> 'a, но возможно @DogeShibu поможет разобраться

ну ты ж понимаешь, что async result - это банально 'T и 'U?

Ну это и так понятно, вопрос в том что мало слышал что его юзают

это просто пузырек внимание, как у того парня, который на ютубе рассказывал, что фп фактически никому неизвестно, поэтому на нем не пишут (sic)

ну да, если на минуту забыть о неуместности самого ивент сорсинга

Нет, тут про другое. Если ты пытаешься объяснить как связаны монада и моноид, то это лучше не так делать. Если речь просто про монады, то там есть такие сигнатуры: bind :: m a -> (a -> m b) -> m b pure :: a -> m a Ну и bind можно заменить на join :: m (m a) -> a

А как тогда связать монаду и моноид?

А как тогда связать монаду и моноид?

Посмотри внимательно на сигнатуру join, что она тебе напоминает?

Я сам не видел его там смысла

@Lanayx, видел вчера видео с тобой на ютубе:)

когда-то очень давно я сам переоткрыл дизайн-паттерн "медиатор", а мой коллега переизобрел виртуальные функции в С++. довольно долго мы оба использовали это как основной инструмент для любой задачи - я во всем видел несвязные объекты, а он везде тулил свое костыльное наследование

)))

Явно не a -> a -> a

ну ты понимаешь, да? джет начался с 5 инженеров, трое из которых были русскими. они росли вместе с компанией, и такого рода "открытия" были неизбежны. но видимо испытание медными трубами прошли не все, и поэтому "все делать через ивент сорсинг" было чисто административным решением, что кстати откололо огромный кусок инженеров и похоже послужило причиной резкого ухудшения качества обслуживания

Ну ивент сорсинг выглядел наверно тогда как жесткая авантюра

ну ты понимаешь, да? джет начался с 5 инженеров, трое из которых были русскими. они росли вместе с компанией, и такого рода "открытия" были неизбежны. но видимо испытание медными трубами прошли не все, и поэтому "все делать через ивент сорсинг" было чисто административным решением, что кстати откололо огромный кусок инженеров и похоже послужило причиной резкого ухудшения качества обслуживания

ЕС и качество обслуживания вообще слабо связаны. Обмажь кешами со снепшотами где надо и вперде. Джет провалился когда его купил волмарт и запретил конкурировать с собой и вся эта пердола на бекенде со смарткартами (тележками) пошла по пизде. Вся эта умная система, которая тречила инвентарь, ордера, таксономию соседних товаров и компетиторов в онлайне, на любом добавлении в тележку запускалась йоба логика по проверке всего на свете и она работала - пошла по пизде короче. Джет превратился в придаток волмарта, так как волмарт запрещал ставить цены ниже чем у волмарта.

если ты не в курсе, то у джета был первый провал до того, как их купил волмарт - когда они редизайн сделали

Jet 2.0 случился сильно позже

а джета нет. третий - юбилейный

Ну это часто записывают как a × a -> a Тут у тебя этим a будет функтор m, а × - его композиция.

кстати, задумался недавно над таким вопросом: что у нас есть для intermediate\advanced F#? а то в режиме better C# можно до пенсии просидеть

В плане библиотек/подходов или литературы/курсов?

кстати, задумался недавно над таким вопросом: что у нас есть для intermediate\advanced F#? а то в режиме better C# можно до пенсии просидеть

а я вот смотрю курс лекций по haskell на o'reilly и у меня крыша едет, я банально не понимаю ничего уже с первых минут. а для автора это "ну очевидно, все ж так пишут"

O‘Really не знаю, но звучит сильно серьезно. И только слушать тоже сильно тяжело, нужны задачки. попробуй Москвина, мне зашло, Правда я там тоже местами не справился, хотя стремился набрать все пункты. А он такой «я добавлял задачки, которые опытным тоже интересны» Короче если совсем в тягость, можно найти кучу готовых решений на гитхабе

всего вместе

кор гопака - на сишарпе внезапно

ну дело в том, что я хаскель знаю приблизительно на том уровне, который дает Москвин и может даже чуточку больше

Черт у меня гопак подвисать стал на ровном месте. Не знаю даже на что грешить

Проблема в том, что если наивно переносить в фшарп advanced фп подходы, то получается фигня, потому у фшарпа достаточно ограниченная система типов.

ну смотри, у нас есть же некоторая система типов и некоторые средства работы с ней? что эфшарп специфик можно делать с этой системой типов? или СЕ - это верх?

ну смотри, у нас есть же некоторая система типов и некоторые средства работы с ней? что эфшарп специфик можно делать с этой системой типов? или СЕ - это верх?

Фшарп плюс посмотри, но это для больных

Вот да, им не реально пользоваться

ну смотри, у нас есть же некоторая система типов и некоторые средства работы с ней? что эфшарп специфик можно делать с этой системой типов? или СЕ - это верх?

ну смотри, у нас есть же некоторая система типов и некоторые средства работы с ней? что эфшарп специфик можно делать с этой системой типов? или СЕ - это верх?

Srtp в некоторых кейсах вполне себе ок

И это норм стиль, он немного бойлерплейтным может быть в сложных кейсах, но работать будет. И он будет лучше better c# за счёт ссылочной прозрачности и ФП подходов к многопоточности, которые куда менее ногострельные, чем таски и им подобные.