История изменений
Исправление alysnix, (текущая версия) :
Если компилятор способен
тут ключевое слово - если. в динамической типизации все функции по сути обобщенные. и чтобы переделать тут в статическую типизацию, придется инстанцировать конкретные функции под конкретные наборы типов параметров. коих(наборов) может быть очень много. и сделать это при загрузке нельзя, поскольку типы актуальных параметров при вызове обобщенной функции выясняются только во время работы программы.
Исходная версия alysnix, :
Если компилятор способен
тут ключевое слово - если. в динамической типизации все функции по сути обобщенные. и чтобы переделать их в статическую, придется инстанцировать конкретные функции под конкретные наборы типов параметров. коих(наборов) может быть очень много. и сделать это при загрузке нельзя, поскольку типы актуальных параметров при вызове обобщенной функции выясняются только во время работы программы.