> -- budden писал(а):
> Можно, а зачем?
Вы же сами в начале акцентировали на потребности в статической диспетчеризации, и тема так соответственно определена как "полиморфизм" (видимо, речь о статическом полиморфизме в дополнение к уже имеющемуся на основе динамической диспетчеризации).
> -- budden писал(а):
> Следующее пока не осилил. Полноценное МП пока в цели не включаем
Полноценное МП, скорее, это что-то вроде Scalameta или, попроще, MetaLua, с "квази-цитатами" как в Лиспах и с такими же возможностями любых выкрутасов. В принципе-то, средства надязыковые, и можно сделать аналоги для себя по-своему для любого своего языка.
Выше же были заметки насчёт концепции "безтиповых" аргументов, в т.ч. с учётом их неопределенного количества, со статической диспетчеризацией/компиляцией с возможностью избежать runtime-циклов (заменить их с оптимизациями, если возможно).

Насчёт полноценного параметрического полиморфизма. Конечно, на фоне выше указанного, в случае его внедрения в реальности потребуются фундаментальные изменения в языке. Начиная, к примеру, от решения того, куда именно всовывать эти параметры. Одни и те же параметры могут одновременно применяться (и это необходимость) ко множеству типов. Соответственно либо типы необходимо вкладывать в другие, либо параметризовать весь модуль (у каждого решения есть плюсы и минусы). Здесь на форуме в смежной теме с предложением насчёт порядка секций модуля уже возникают неоднозначные отношения к проблематике, а уж о параметрическом полиморфизме вряд ли можно говорить.

Хотя, с другой стороны, на форуме представлен некий новый-старый Oberon/L с отключением языковых возможностей. В Ada в дополнение для удовлетворения стандартов безопасности, вроде бы, есть возможность отключить и динамическую диспетчеризацию (фактически, отрубается ООП). В теме про Esterel есть материалы по поводу Real Time Java и Safety-Critical Java, где также может быть запрет виртуальных вызовов (но имеются и некоторые контролируемые послабления -- вся возможная иерархия классов должна быть статически идентифицирована, что позволяет иногда провести анализ runtime-затрат и т.д.).
Возможно, есть смысл проанализировать применимость языка для более-менее содержательных прикладных задач, если вдруг отрубить extensible и иже с ним связанное.