Философский вопрос: а чего такого особенного? Есть у нас виртуальная машина типов (что мешает её так рассматривать?) для неё написали программу. Вроде ok, ничего особенного?
Не все системы типов Тьюринг-прлные. Более того, есть мнение, что хорошие системы типов - не Тьюринг-полные.