EG
Статика консервативна по своей природе. Это порождает кучу лишних церемоний, что для быстрых экспериментов неприемлемо.
Size: a a a
2020 May 22
SP
чето ты усложняешь
SP
она не консервативна а статична
SP
для статики просто нет смысла делать гетерогенный список если ты можешь сделать ему сумтип
EG
Хорошо, хуй с гетерогенным списком
EG
У меня есть два тупла
EG
Типы обоих я знаю
EG
Я хочу их сложить
EG
Тип результата очевиден
EG
addTuples :: ???
SP
у меня у самого пиздец. я думаю ну окей, можно же эксепшены и половина кода уйдёт
SP
зачем складывать туплы кек
SP
тайпскрипт кстати частично умеет это
EG
Я привожу пример, в котором статическая система типов не позволяет корректные операции.
EG
Потому что она консервативна.
SP
это не корректная операция ты не хочешь этого хотеть
EG
Нет, это корректная операция.
EG
У неё строго определены типы входов и выхода
SP
ну в ней нет никакого смысла
EG
То, что я не могу её записать в 99% систем типов — это проблема систем типов