AZ
дальше, как выразить тип "(число от 3 до 9 ИЛИ 7 ИЛИ от 22 до 58 ИЛИ отрицательное) И нечетное"?
Size: a a a
2020 April 03
p
дальше, как выразить тип "(число от 3 до 9 ИЛИ 7 ИЛИ от 22 до 58 ИЛИ отрицательное) И нечетное"?
Переписать WeirdRange, он писал раньше уже
S
запихнуть все эти условия внутрь проверяющей функции
p
То есть создавать новый struct { d: i32 } на каждый чих
AZ
запихнуть все эти условия внутрь проверяющей функции
смысл реф типов чтобы не писать ифчики, а писать это на уровне типов
S
и сделать чтоб конст-генерик принимал проверяющую функцию и возвращал тип
AZ
и сделать чтоб конст-генерик принимал проверяющую функцию и возвращал тип
на каждую комбинацию параметров типчик не напишешь руками, это муторно
AZ
ну то есть у меня должен быть WierdRange, WeirdRangeWithThreeConditions, WeirdRangeWithThreeConditionsAndNegative,. ..
AZ
я бы такое писать не хотел
AZ
а еще тебе нужны конвертации между ними, например WeirdRange<7,9> должно автоматически работать везде где ожидается WeirdRange<8,9> в качестве параметра и WeirdRange<0,11> в качестве результата
AK
Практически любые предприятия сейчас автоматизируются именно через веб приложения + соответсвующий бэкенд.
Очень мало где для этого до сих пор десктоп приложения используют.
Очень мало где для этого до сих пор десктоп приложения используют.
Капиталисты чёртовы автоматизируют всё, лишают народ рабочих мест. Бэкендеры - слугы дъиявола!
S
а еще тебе нужны конвертации между ними, например WeirdRange<7,9> должно автоматически работать везде где ожидается WeirdRange<8,9> в качестве параметра и WeirdRange<0,11> в качестве результата
а с какими-то волшебными типами и теми множествами описанных тобой условий есть какая-то автоконвертация на основе пересечения условий?
AZ
а с какими-то волшебными типами и теми множествами описанных тобой условий есть какая-то автоконвертация на основе пересечения условий?
ну легко, так и пишешь же
p
а с какими-то волшебными типами и теми множествами описанных тобой условий есть какая-то автоконвертация на основе пересечения условий?
Да,
fn foo(x: int{x>10}) {
let y: int{y>9} = x;
}
Это сработает
fn foo(x: int{x>10}) {
let y: int{y>9} = x;
}
Это сработает
S
а так comptime fn DumbCheckedType(innerStorageType: type, check: fn(data: innerStorageType) bool) type, и для любых условий ты используешь этот тип и запихиваешь в него функцию проверки с любым количеством условий
DS
Кстати, а кто-нибудь видел вживую owning версию либы для работы с flatbuffer'ами?
S
Да,
fn foo(x: int{x>10}) {
let y: int{y>9} = x;
}
Это сработает
fn foo(x: int{x>10}) {
let y: int{y>9} = x;
}
Это сработает
Ну здорово. А в нетривиальных случаях?
AZ
а с какими-то волшебными типами и теми множествами описанных тобой условий есть какая-то автоконвертация на основе пересечения условий?
type User1 = { username: string, password?: string }
type User2 = User1 & { password: string }p
Кстати, а кто-нибудь видел вживую owning версию либы для работы с flatbuffer'ами?
Flatbuffer?
AZ
вот коклин например