История изменений

и чтобы переделать тут в статическую типизацию, придется инстанцировать конкретные функции под конкретные наборы типов параметров. коих(наборов) может быть очень много.

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

Я просто не вижу смысла сравнивать динамически типизированную программу где все непонятно как передается, со статической. Если обе написаны в одном стиле и типы не меняются в случайном порядке, то нормальный код сгенерировать должно быть просто.

и чтобы переделать тут в статическую типизацию, придется инстанцировать конкретные функции под конкретные наборы типов параметров. коих(наборов) может быть очень много.

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

и чтобы переделать тут в статическую типизацию, придется инстанцировать конкретные функции под конкретные наборы типов параметров. коих(наборов) может быть очень много.

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