AV
Да хоть рантаймовым эксепшеном, прости господи
Size: a a a
2020 February 16
KS
require...
O
опшен, не допускающий наллов, нарушает законы функтора:
string g(string s) => s == null ? "" : s;
string f(string s) => string.IsNullOrEmpty(s) ? null : s;
Some("").Map(f).Map(g) != Some("").Map(Compose(f, g))
AV
AV
Ну, правильное решение, конечно - это убрать к херам нулл
O
из языка и среды исполнения? да, но этого не сделать уже, к сожалению
AV
Почему, из языка можно
O
default никуда не денется
O
new object[5] - получи 5 наллов
AV
Что касается нарушений законов... опшен все равно не используютв контекстах, где законы важны, опшен - это та самая пресловутая коробка
AV
new object[5] - получи 5 наллов
Ты можешь это запретить же
AV
На уровне компилятора
O
если речь про создание нового языка, то да, можно убрать налл, в F# как-то так сделано
O
Что касается нарушений законов... опшен все равно не используютв контекстах, где законы важны, опшен - это та самая пресловутая коробка
это не повод
AV
Чому? Коробок с говном в скале достаточно
AV
См. Фьючер
O
и вообще, опшен используется в контекстах, где если даже не законы важны, то хотя бы нужно отличать Some(null) от None
O
например
Opt<V> TryGetValue<K, V>(this IReadOnlyDictionary<K, V> that, K key) => ...вернул None и непонятно, это налл лежал или ключа такого нет
O
такое поведение для библиотеки совершенно неприемлемо
AV
и вообще, опшен используется в контекстах, где если даже не законы важны, то хотя бы нужно отличать Some(null) от None
> то хотя бы нужно отличать Some(null) от None
Вот, блин, ни разу такого нужно не было. А протечки неприятные протечки нуллов иногда случались
Вот, блин, ни разу такого нужно не было. А протечки неприятные протечки нуллов иногда случались