SP
Можно попытаться передать в какой-нибудь метод или функцию всё что угодно.
Но в реальности у этого "что угодно" уже есть свойства, которые использует вызываемый код, и эти свойства тоже могут быть завязаны на какие-то частности, типа отрезка R^1 вместо компактного множества.
Просто динамическая типизация не даёт магических дженериков из воздуха.
ошибка моего тезиса вообще в другом - в скриптах дженерики лишь по поведению, а речь об механизме тайпчека дженериков. с другой стророны в контексте "нюбы ниасиливают" это не имеет смысла. я показал что нюбы как раз осиливают высоко-генерализированный код аля код на скриптах. я не поверю что скриптомакака лавирующая над проблемами уровня "строка это список строк" не смогут расставить тайп аргументы