p
Просто дописывать везде _named
Size: a a a
2020 March 03
V
Но ведь там как раз не перегрузка, а вариадик
Ещё другой вариант - удобно можно будет писать не
do_smth_{u32|i32|f32|f64|str|u8|i8|u16|i16|u64|i64}, а do_smth
do_smth_{u32|i32|f32|f64|str|u8|i8|u16|i16|u64|i64}, а do_smth
AL
Лицензии существуют отдельно от code of conduct, а так же других документов. Попытка пихать COC в лицензию — примерно как Бога в Конституцию.
Я еще толком не ознакомился с деталями что именно вносят. Но в открытых лицензиях всегда был элемент социального воздействия, так что для меня идея не выглядит абсурдной.
V
Ещё другой вариант - удобно можно будет писать не
do_smth_{u32|i32|f32|f64|str|u8|i8|u16|i16|u64|i64}, а do_smth
do_smth_{u32|i32|f32|f64|str|u8|i8|u16|i16|u64|i64}, а do_smth
С другой стороны - не удобно будет интеропить
p
Ещё другой вариант - удобно можно будет писать не
do_smth_{u32|i32|f32|f64|str|u8|i8|u16|i16|u64|i64}, а do_smth
do_smth_{u32|i32|f32|f64|str|u8|i8|u16|i16|u64|i64}, а do_smth
<T>?
V
<T>?
А если код различается?
p
А если код различается?
Логично будет сделать несколько функций
V
Логично будет сделать несколько функций
Блин хотел сейчас возразить, но удобне тут будет с билдером
p
fn foo<T>(a: T) { }
fn foo(a: i32) { } // это должно компилироваться?
foo(1_i32); // а это?
fn foo(a: i32) { } // это должно компилироваться?
foo(1_i32); // а это?
V
Типа писать write::<u32>().with_format(value, format)
V
Но тут другой прикол
p
Проблем дохрена будет с генериками
V
Хочу проперти как в шарпе или котлине
p
Придется по этой теме писать 10 листов спецификации
EG
fn foo<T>(a: T) { }
fn foo(a: i32) { } // это должно компилироваться?
foo(1_i32); // а это?
fn foo(a: i32) { } // это должно компилироваться?
foo(1_i32); // а это?
Нет, не должно компилироваться. Та же самая история, что и с двумя трейтами на один тип.
EG
В точности та же самая.
p
С возможными неоднозначностями и т.д.
G
Блин хотел сейчас возразить, но удобне тут будет с билдером
Удобнее будет с аргумантами по-умолчанию и именованными аргументами, билдеры в 90% случаев - бойлерплейт и оверкилл
EG
Но должно компилироваться, если перед первой
fn написать default, как с специализацией.V
fn foo<T>(a: T) { }
fn foo(a: i32) { } // это должно компилироваться?
foo(1_i32); // а это?
fn foo(a: i32) { } // это должно компилироваться?
foo(1_i32); // а это?
1-нет
2-да
2-да