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