Метапрограммирование это моё всё. Хоть icolaisi не готов, я пишу библиотеки на laisi и они состоят из метапрограммирования чуть более чем на половину. Вон в math почти все функции являются темплейтами, а в dapa темплейты от дженериков. Джереники — типы, генерируемые макросами.
Но и байткод мне надо сделать. С байткодом будет легче.