S
Сколько костылей😁
Это отсутствие мусора в базе языка
Size: a a a
2020 April 03
p
Т-34 85
а то, есть, про имеющиеся приложения и либы ты согласен, что для них лучше крестов нет?
Мне плевать на чем они
Т8
Мне плевать на чем они
ахаха, я так и думал. Ну, слив засчитан
p
Это отсутствие мусора в базе языка
Если тебе нравится писать бойлерплейт, пожалуйста. Только я уверен что если зиг дойдет до прода, так писать не будут.
S
comptime fn(basetype: type, check: fn(data: basetype) bool) type
p
Нерасширяемо
S
а куда еще расширять-то?
S
вообще с таким отношением покажи мне лучше язык в проде, в котором есть завтипы и нет бойлерплейта
AZ
я такие запросы помню в конце 90х, когда люди не умели интернетом пользоваться
AZ
и писали в этих ваших яхуу
AZ
"когда день рождения у барсика"
Т8
и писали в этих ваших яхуу
асталависта же
p
а куда еще расширять-то?
Как ты напишешь такое:
struct A { a: str }
fn foo(ins: A{ins.a.len() > 10 & i>=0, i<10: ins.a[i] == 'f'}) -> out: A where {out.a.len() == 5}p
Не говори только что это выдуманный пример. Весь парсинг в таком
S
Как ты напишешь такое:
struct A { a: str }
fn foo(ins: A{ins.a.len() > 10 & i>=0, i<10: ins.a[i] == 'f'}) -> out: A where {out.a.len() == 5}типо... Точно так же? Это те же типы с проверкой условия на основе значения
p
Бля, ща
p
Как ты напишешь такое:
struct A { a: str }
fn foo(ins: A{ins.a.len() > 10 & i>=0, i<10: ins.a[i] == 'f'}) -> out: A where {out.a.len() == 5}where { i>=0, i<10: out.a[i] != ins.a[i] }
S
по большому счету это всё assert входных и выходных данных. Да , это можно запихнуть в сигнатуру типа, и WeirdRange или что-то на его основе могут с этим справиться, если есть такое желание
p
where { i>=0, i<10: out.a[i] != ins.a[i] }
Тут выходной тип зависит от входного
p
Это уже никак не выразить