A
if (blablabla is false) тогда уж, но это то, с чего начали
Макросами еще бы можно было
if(blablabla is fake news)
Макросами еще бы можно было
if(blablabla is fake news)
Size: a a a
2021 April 23
W
Ну да, я уже говорил про is false
W
Но человеку захотелось not
W
Вот)
AT
value is default ещё бы... Или ещё лучше is empty, который бы для примитивных типов проверял на нулевое значение (-0 для float/double тоже), для строк пустую строку считал тоже пустой (как в IsNullOrEmpty), а для пользовательских типов дёргал operator emptyW
А зачем? Можно юзкейс?
AT
Валидация ввода, конфигурации и т.п там, где значений может не быть
W
И почему такой метод женерик?
W
А откуда я это вообще придумал. Че-то надо спать
A
Кстати, товарищи любители монадических типов.
Вот если сделать под .Net структуру Either<T1,T2>
Что для нее должно значить default(Either<T1,T2>) ?
Мне начинает казаться что ни T1, ни T2, а что-то в духе Either<T1,T2>.None
Вот если сделать под .Net структуру Either<T1,T2>
Что для нее должно значить default(Either<T1,T2>) ?
Мне начинает казаться что ни T1, ни T2, а что-то в духе Either<T1,T2>.None
AH
Вот ты куришь. Ты всю систему типов ломаешь своим default
A
CLR не я писал!
AH
я щитаю что ничего не должно значить, это должен быть эксепшун
struct Either<T1, T2>
private bool isInit
private T1 _v1
private T2 _v2
public T1 Value1 => if not isInit then throw else _v1
public T2 Value2 => if not isInit then throw else _v2
ctor(T1 t1) => _v1 = t1; isInit = true
ctor(T2 t2) => _v2 = t2; isInit = true
struct Either<T1, T2>
private bool isInit
private T1 _v1
private T2 _v2
public T1 Value1 => if not isInit then throw else _v1
public T2 Value2 => if not isInit then throw else _v2
ctor(T1 t1) => _v1 = t1; isInit = true
ctor(T2 t2) => _v2 = t2; isInit = true
AH
псевдокод
AH
ну и не надо в высокие материи эту ахинею тащить
AH
Иначе ты профита от высоких материй не получишь