Возможно ты и прав. У меня была задача написать очень стабильный сервис т.к. от него зависело обновление цен на торговых точках.
Я решил взять резалты, чтобы не работать с исключениями и чётко обрабатывать все варианты ошибок и т.п.. Получилось ужасно. Вернее....сервис то получился стабильным, но код ужасно читался. Вывод типов был никаким.

К примеру, есть в шарпе Exception и от него производный InvalidOperationException.

Когда выполняешь функцию, которая возвращает Result<T, InvalidOperationException>, то результат автоматом не преобразовать в Result<T,  Exception>. Нужно руками вызывать MapError и там даункастить. Короче, портянки с такими преобразованиями занимали кучу места. Вторая проблема - IDisposable. Если в AndThen создал "неуправляемый" объект, то лучше там его и освобождать. Поэтому выходили AndThen в AndThen'ах....ух...

А написать обязательно на C# было требованием?

Да, мне знакомые тоже говорили, что тут лучше взять другой язык, но на работе требование было именно C#.

Да и там очень много было работы с файлами от поставщиков ZIP, RAR, GZIP, XLSX, XLS, DBF...на том же расте сложно с этим всем. Нужно было бы очень много кода написать самому. Это не проблема, но условие было - написать за месяц. Т.к. старый сервис, который брал на себя часть работы, не вывозил потока документов от поставщиков.

Про много кода, это я про крейты

Я тогда смотрел, как в расте с ZIP и там в сурсах человек проверял не заголовок файла, а расширение)

Если имя файла заканчивается на .zip, то это архив)

А у нас поставщики вообще могли файлы без расширения присылать. Не поймёшь, что это за формат

Ясно-понятно

Взял бы F# либо вообще скалу.

В скале как раз нужное свойство с сабтайпингом элементарно выразимо

Да, можно было бы взять скалу

Т.к. там аннотации по поводу ковариантности/контрвариантности можно ставить на любой дженерик тип, а не только интерфейс

На самом деле даже интересно, почему в шарпе именно такое ограничение и связано ли это с рантаймом и reified дженериками

На безрыбье и рак - щука, спасибо. Выглядит не ужас-ужас. А что там с exhaustiveness analysis?🧐

Тег у меня _Bool, поэтому умный компилятор и статический анализатор должен закричать

В будущем я планирую переусложнённый код, использующий эту библиотеку, прогнать через cppcheck и scan-build (статический анализатор LLVM). Посмотрим, что будет

👍!

еще вчера пытался. сказали уже нельзя бронить

типа там за неделю. пафосное место.

Народ, а никто случайно не видел пример связки актикса с фронтом на васме? Хочется посмотреть на best practices такой связки, а не копать опытным путем