p
черт ты гений, мне в нескольких местах это заходит отлично.
Size: a a a
2020 May 04
G
ну ачё)
p
минус пара анврапов
G
вообще я это задумывал как неполный, но работающий аналог refinement types
G
у тех языков где refinement types нет
G
проверок во время исполнения все равно конечно не избежать в некоторых местах, но зато соблюдается parse, don't validate
e
не, я про
struct Message<UserId = u64, Text = String> {
user_id: UserId,
text: Text,
}И в тайпскрипте такое можно вроде бы
G
И в тайпскрипте такое можно вроде бы
ну можн вообще везде где есть дженерики нормальные
e
Угу
G
только в исключительных ситуациях может понадобится ХКТ, т.к. у тебя может поле иметь тип, который принимает другой тип как дженерик
p
@Psilon в Шарп есть генерики по умолчанию? Я чёт не помню, вроде нет
e
Ыы, кста, самое прикольное что на типах тайпскрипта можно доказать что он тюринг- комплит
Вроде баян но прикольно
Вроде баян но прикольно
e
G
ну в расте тоже можно
G
и в цпп
G
ничего удивительного
e
ну в расте тоже можно
Я думал без хкт это анрил
G
Я думал без хкт это анрил
создаешь тайп левел глист битов
G
трейты на нем как операции индуктивно пишешь
G
вот тебе машина тьюринга