Без заголовка

А я ХОЛ поминаю как раз в силу его способности описать любой формализм. Т.е. он может служить связующим звеном между любыми парадигмами. На нем можно описать любую структуры и доказать эквивалентность преобразований туда/обратно. При этом, это есть минимально мощный по выразительности механизм, потому что функциональные языки (да и объектные) изначально higher order, т.е. там передаются функции в качестве параметров (в объектно ориентированных передаются объекты у которых может быть переопределены методы, т.е. по сути тоже higher order). Из мультипарадигмальных наиболее мульти- является Mozart/Oz там и функционалка и объекты и огнраничения и логика.