Без заголовка

простите за оффтоп, а можно поинтересоваться - что Вы имеете ввиду под отсутствием жёсткой типизации? если я правильно понимаю, в аспекте субд речь идет о том, что ядро системы составляет интерфейс работы с динамически формируемой мета-моделью. и в данном случае говоря о "компиляции" мы говорим о том, что гибкость мета-модели - хорошо, а в возможности динамической "перекомпиляции" кода/данных из мета-модели в "жесткие типы" - ещё лучше?