при этом ломая функториальность и делая невозможной реализацию Opt<V> TryGetValue(key), полностью изоморфной bool TryGetValue(key, out value). зато использование "правильное"
при этом ломая функториальность и делая невозможной реализацию Opt<V> TryGetValue(key), полностью изоморфной bool TryGetValue(key, out value). зато использование "правильное"
А кто сказал, что создатели библиотеки оринетровлись на законы функтора и что имели ввиду? Где-то указано, что Option соблюдает все законы?
> However, Option<T> type also implements Select and SelectMany and is therefore monadic, which also means it can be used in LINQ expressions and much more! monadic это что значит? что-то похоже на монады или монады?