Mozart

Приобрел фундаментальный учебник современного программирования "Concepts, Techniques and Models of Computer Programming". Это в чем-то пожалуй уже замена Кнуту. Там все примеры и упражнения отнюдь не на абстрактном ассемблере, а на вполне существующем и развивающемся языке Oz/Mozart Programming System -- он и объектный и логический и функциональный. Так же, как большинство современных языков компилируется в промежуточное представление с последующим JIT-исполнением native-кода, что означает мультиплатформенность и это есть гут. Есть ли на нем хоть один серьёзный коммерческий проект?