A
мне кажется будет тоже самое что и сейчас будет
Size: a a a
2021 May 24
A
в том плане, что это по сути просто подстановка (мне кажется)
A
так у go по сути внутри тоже самое unconstrained generics. ну да, ещё сверху интерфейс, который можно выкинуть и ничего особо не изменится
A
в общем я не оч понял по чему тут просто type Buildable = A|B|C не написан, но наверное есть причины :)
g
ага, я не про то что оно будет компилироваться, а про удобство порогоромисту
A
ну тут надо посмотреть какие ошибки будет кидать, на вид похоже в любом случае :)
g
да все будет работать с unconstrained generics с обычными T, но это не будет в себе никакой информации нести о том что это, и будет непонятно почему собсно оно не компилируется, и самое худшее как реализовать свою такую же
g
а с концептами\интрфейсами все просто, вот сигнатурки, нужно чтоб твоя имела такие же
g
ну а вот это просто идеально помойму
A
required type for self: A or B
required type for self: AB
ну да, первое понятнее
g
@yardanico Помню ты на обсуждении спрашивал почему нету Optional в std, Araq сказал что он вроде как последний человек кому это не нравится. Есть ли какие то подвижки в этом направлении?
A
да, но пока нет уверенности когда концепты стабилизируют
M(
так там же уже всё написано было
M(
ты опять не прочитал
g
та я не читал все 214 RFC никогда
g
вообще с нулабилити какой то бардак
g
нужен флажек который не даст такое делать
g
вспомнил об этом потому шо смотрел презенташку Crystal из 2017, там даж такое уже compile time error
g
а, похоже в експерементальном мануале об этом чтото есть