Це технічно було б можливо? Якщо це буде реалізовано на Java, я б сказав "дуже, дуже важко, але можливо" без значних втрат продуктивності.
Я фактично вручаю статично набраний DSL на Java зараз, і єдиний спосіб, який я знайшов, щоб уникнути перевірки типу виконання, - це використання дженеріки та придушення "неперевірених" попереджень ... тобто до настання часу для впровадження багатовимірні масиви (параметри класу повинні бути відомі під час компіляції і, таким чином, по своїй суті є кінцевими, тоді як багатовимірні масиви представляють нескінченну кількість типів ...) Ще намагаюся розібратися в цьому, на жаль, я впевнений, що я зіткнуться з подібними проблемами з визначеними користувачем класами.
Справа в тому, що я продовжую натрапляти на подібні проблеми, але, сидячи на ньому деякий час, я приходжу до гарного рішення. Отже, зробити це і мати переваги продуктивності статичного набору тексту (без перевірки типу виконання), я б сказав, що це надзвичайно важко, але не неможливо. Мінус продуктивності, я б сказав, важко, але дуже можливо.
Я знаю, що це давнє запитання, я просто вважав, що мій досвід комусь може бути цінним.