Nikolay

И половина, вероятно, майкрософтоненавистники

Roman

Ну если я скажу: "Иммутабельность слишком много полезных плюсов даёт, тут не объяснить, поэтому идём дальше" то меня закидают помидорами

У меня есть пример из текущего проекта, который и про иммутабельность и про АТД. На клиент отдается модель, в которой помимо самого пейлоада есть пачка полей CanRead; CanBlock; CanDelete; etc. Эти поля с пермишенами само собой мутабельные булевые проперти. Так вот, когда тебе пришла в коде такая модель, невозможно понять, эти поля в false потому что доступа нет, или потому что их еще не проставили как надо. В то же время, когда у тебя модель immutable таких сомнений нет. А если сюда еще приплести таплы - то можно вообще пейлоад и модель пермишенов сделать таплой, тогда вообще никаких сомнений не окажется

Nikolay

Если не проставили, должно быть null)

Roman

но поля не nullable

Nikolay

но поля не nullable

Ну решение твоей проблемы - nullable поля

Nikolay

Так мне скажут

Roman

это один из вариантов. Но если все строить на наллабл полях, то код из if (canRead)... превращается везде в if (canRead.HasValue && canRead.Value)

Roman

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

Bonart

это один из вариантов. Но если все строить на наллабл полях, то код из if (canRead)... превращается везде в if (canRead.HasValue && canRead.Value)

У Nullable опа еще в лишних проверках и исключениях

Bonart

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

public readonly struct Option<T> : IOption<T, Option<T>> { internal Option(Some<T> value) => _value = value; private readonly Some<T>? _value; public bool TryGet([AllowNull]out T value) { var result = _value.HasValue; value = result ? _value.Value.Unwrap : default; return result; } public Option<T> Some(T value) => new Option<T>(Option.Some(value)); public static explicit operator Option<T>(Option<T, Option<T>> option) => option.Inner; public Option<T, Option<T>> AsGeneric => this; public static explicit operator Option<T, Option<T>>(Option<T> option) => option; public override string ToString() => TryGet(out var v) ? $"Some{{{v}}}" : $"None<{nameof(T)}>"; }

Roman

Ага. Интересно, во что превратится код среднестатистического проекта с переходом на C# 8.0, где референс тайпы тоже будут делиться на наллабл и нет. Мне, почему-то кажется, что везде будут дописывать вопросик и все будет как раньше)

Bonart

Ага. Интересно, во что превратится код среднестатистического проекта с переходом на C# 8.0, где референс тайпы тоже будут делиться на наллабл и нет. Мне, почему-то кажется, что везде будут дописывать вопросик и все будет как раньше)

Я в итоге написал свой Option с TryGetValue если надо считать такты, и LINQ-методами если можно писать красиво

Bonart

Прелесть еще и в том, что без инициализации Option будет корректен

Roman

Ну вот как раз о бойлерплейте - можно сравнить кол-во кода для Option в C# vs F#

Bonart

Ну вот как раз о бойлерплейте - можно сравнить кол-во кода для Option в C# vs F#

У F# бонус за счет нормальной реализации GetHashCode и Equals по умолчанию, а также лучшего вывода типов

Nikolay

Ага. Интересно, во что превратится код среднестатистического проекта с переходом на C# 8.0, где референс тайпы тоже будут делиться на наллабл и нет. Мне, почему-то кажется, что везде будут дописывать вопросик и все будет как раньше)

Как в котлине с джавой?

Bonart

Правда надо иметь в виду, что обычный Option в F# - класс

Roman

ну есть и UOption или как его там

Ayrat

Правда надо иметь в виду, что обычный Option в F# - класс

вот да, а юзать ValueSome и ValueNone впадлу

Roman

Как в котлине с джавой?

я не знаю, как там

Bonart

вот да, а юзать ValueSome и ValueNone впадлу

Не впадлу... но не всем

Nikolay

я не знаю, как там

Всё, что из джавы - с вопросиком

Ayrat

тем более структ опшн ввели, а вот экосистема вся на обычном option живёт т.е. member x.Method(?args) даст опшн класс defaultArg требует опшн класс Seq.choose нет (и не будет?) перегрузки для валуеопшн

Bonart

Всё, что из джавы - с вопросиком

Нет, давно уже отказались

Nikolay

Нет, давно уже отказались

А как?

Nikolay

По крайней мере в андроиде так было