Здравствуйте, VladD2, Вы писали:

VD>Какой, к чертям, это передний край? Это до ML-ная эра. И дажее ее наши професоры не осилили пока что. Так о чем ты говоришь то?

Ты бы обратил, вообще-то, внимание на две последние приведенные публикации. Они ключевые на сегодня в теории типов. В предпоследней, наконец, классифицируются способы типизации и отношения м/у ними и показано место, к примеру, зависимых типов в т.н. Barendregt's Lambda Cube

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