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

>это текущий тренд Так же, как вставление всюду замыканий, параллельные вычисления и тп. >Насчет модели вычислений -- волнует ведь не модель вычислений, а удобство использования. Ну, например, система типов. Я на Mercury не давно смотрел, когда последний раз интересовался системой типов для Пролога, она была неразрешимой (undecidable). Система типов - следствие модели вычислений. Система типов, также, обеспечивает удобство рассуждений о прогармме и все программисты ей пользуются, даже если отрицают это. >Или освоить Haskell легче, чем Prolog?! Да, легче. Односторонняя унификация, модель вычислений из двух операций.