AZ
юзер2 автоматом можно юзать вместо юзер1 и наоборот, в зависиимости от (ко)вариантности
Size: a a a
2020 April 03
AZ
но даже тут нужно структурки описывать руками, но хотя бы конвертации между ними будут
r
Ну здорово. А в нетривиальных случаях?
Пишешь конструктивное доказательство, что тип результата будет подходящий.
S
всё ясно
DS
Кстати, а кто-нибудь видел вживую owning версию либы для работы с flatbuffer'ами?
А, не, мне это не актуально. Владение не поможет в моем случае
AZ
всё ясно
fn foo(x: int{(x in (7..9) || x == 11 || x in (15,66)) && x%2==0}) {
let y: int{x in (7..9) || x == 11 || x in (15,66)} = x;
}AZ
вот тебе нетривиальный случай
AZ
пиши что хочешь
S
но даже тут нужно структурки описывать руками, но хотя бы конвертации между ними будут
Чтож, признаю, котлин обладает такими свистелками, которые я сходу не могу реализовать на си-подобном языке с ручным управлением памятью
p
Чтож, признаю, котлин обладает такими свистелками, которые я сходу не могу реализовать на си-подобном языке с ручным управлением памятью
Это не зависит от управления памятью
AZ
Чтож, признаю, котлин обладает такими свистелками, которые я сходу не могу реализовать на си-подобном языке с ручным управлением памятью
да что си, я на сишарпе вчера писал плакался что этой фичи нет. Пришлось городить хрень опять
p
Это проверяется на этапе компиляции. В рантайме все эти типы стираются.
S
Ну да. Вся программа у вас на этапе компиляции работает
AZ
Ну да. Вся программа у вас на этапе компиляции работает
разница между такими типами и ифчиками в том же, как писать нормальные типы везде или таскать везде void* и проверять
if (foo is int) ...p
Ну да. Вся программа у вас на этапе компиляции работает
Проверяется что она работает корректно на этапе компиляции. Это как тайп чекер, только мощнее.
S
разница между такими типами и ифчиками в том же, как писать нормальные типы везде или таскать везде void* и проверять
if (foo is int) ...я описывал как создавать типчик если приспичило
AZ
я описывал как создавать типчик если приспичило
есть некоторый предел юзабельности
AZ
если слишком неудобно что-то делать то так делать не будут
p
Компилятор же умудряется проверять типы String, i32, MyStruct?
AZ
писать структуру на каждый чих неудобно