я не мерял но у меня больше 15 будет

я просто помню сколько его было до того, как начали убирать под проц-макросы

А ты TabNine пользуешься?

когда почти целый крейт схлопывался в одно определение структурки

Ну имплиситы позволяют реализовать тайпклассы таким вот образом, но кроме тайпклассов имплиситами можно много чего хорошего (и плохого) натворить, например magnet pattern, который позволяет перегружать функции, различающиеся только по дженерикам. Скажем в Джаве такой код невозможен:

void meth(List<Integer> xs) { ... }
void meth(List<String> xs) { ... }

А в Scala можно объехать с помощью имплиситов.

Драконы вылетают в тот момент, когда подстановка одного имплисита порождает появление нового, и таким образом компилятор начинает вычисления в режиме компиляции, и хитро комбинируя типы имплиситов можно сделать if-ы, циклы и вообще достаточно сложные вычисления. Собсно система типов Скалы полна по Тьюрингу.

void meth(List<Integer> xs) { ... }
void meth(List<String> xs) { ... }

А разве magnet - это не дело специализации?

Эта функция недостаточно обобщённая, поэтому и выглядит уродливо.

почти все языки с вм

а мне и не нужна обобщенная

void meth(List<Integer> xs) { ... }
void meth(List<String> xs) { ... }

И да, напоминает чем-то шаблоны плюсов, по описанию вычислимости.

я пытался поработать с обобщениями но они уебищные какие-то

это как

в итоге думаю переписать все на конкретные типы

ну не обобщения а тайпклассы

а что с ними

да не пухни, просто признай что это пдздц хак, ты это уже сам признал

А как же всякие C++, Rust, Go?

языки без вм нужны для системщины

А с Python как быть?

У нас разные представления о хаках