Max Mikheenkov

Сообразил вот, почему иерархия -- да потому что это однозначное отображение классификации.
А классификация -- очень мощный (если не единственный) способ придать видимость ясности и однозначности любой бесформной области... хоть коллекционированию марок, хоть анализу генов.
Но это предает только видимость правильности, потому что ниоткуда не следует что наша классификация точно соответствует всем особенностям реальности.
А предложение заменить её "более обобщенными" графами -- ну да, это способно порешать какие-то мелкие задачи, но параллельно добавляет своих собственных.

Кстати, подумалось вот -- всякие кодировки черча, лямбды,
они ведь декларируются анаогичными машинам тьюринга по выразительности,
а у машин есть проблема останова -- интересно, а как она себя проявляет в них?
Не може ли такого быть, что вот все эти поиски типизированного граала -- просто игнорируют следующую их этого проблему,
и потому их поиски заведомо бесперспективны (ну, как Максим, думал что объедет ограничения Ф омега, потому что мол "но у нас ведь другая система")