исчисление конструкций реализовано... Не знаю, что имеется ввиду под предельной типизированностью, но там типо компилятся только валидные программы(если уж совсем не пытаешься себе в колено выстрелить).
я писал на них, лол
Обсуждают сегодня