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

ты проповедуешь в хор, если что

через сртп вызывают статический метод у типа, который называется Bind. Ну и для Map то же самое. Поэтому Result и Option из кор либы не подходят, нужно было свои делать.

Не распарсил "в хор"

хор находится сзади пастора обычно

в смысле, не в ту сторону воюешь

А, ты в этом смысле. Да я вообще воевать ни с кем не планировал :)

ну оператор это условная обычная функция всегда
Просто тут эта функция по идее над типом с условием (тип должен быть функтором)
Чтобы такое изобразить нужны хкт или тупеклассы

В фшарпе нет ни того, ни другого, но через сраку можно навернуть на функцию перегрузку через сртп
И так получается что наша функция принимает целый набор типов (имитируем хкт через ручное объявление для каждого нужного типа) которые обладают функцией bind (имитируем тупеклассы через сртп констрейн)

Далее вешаем эту функцию на оператор и вуаля

ну а к своим Result и Option надо, разумеется, еще по соответствующему модулю написать, в котором есть все, что нужно бойцу. А потом еще покрыть пересечения вроде Result.ofOption и тд

остальных мы выжили, наверное

но такие тоже были

1. навернуть на функцию перегрузку через сртп через сраку
2. вешаем эту функцию на оператор
3. ??????? (вы находитесь здесь)
4. вуаля

я че-то кстати не помню, чтоб кто-то прям яро защищал это поделие. Скорее, были те, кто не использовал, но не готов был поверить, что это настолько больно

5, PROFIT, тонны денег, любовь женщин

нет, именно так. откуда там профиту взяться

Мне тоже такой прагматизм близок.

ну не прям про фшарп плюс, но упоротые фпшники забегали

джет продали с большим профитом, ты зря

Понял, спасибо за объяснение.

в джете не было ничего такого. джет - это суровые портянки и мозоли