red75prime
Такая супер-расширяемость упирается в то, что грамматика легко становится неразрешимой. И нужно тащить костыли, чтобы гарантировать остановку компилятора.
в расте есть лимит на вычисления в типах, почти каждый язык неразрешимый в каком-то аспекте если на то пошло