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

ОК, все парадигмы пропитывают друг друга: логика, замыкания, параллельные вычислния и т.д. Тут у нас консенсус. Про систему типов -- я бы не сказал, что динамические типы кому-нибудь мешают, ежели глядеть на вечнозеленые Smalltalk, Python и прочая из этой серии. Религиозность подхода к типам мне понятна (конечно, все программисты пользуются типами, весь вопрос, как именно), аргументы сторон -- тоже понятны и им лет по тридцать от роду. Поэтому "отсутствует нормальная система типов" тут не аргумент (Mercury вряд ли бы распространился по миру, как пожар, даже если бы система типов там была эффективной), да и "проложность" меня меньше волнует -- функционально-логические языки идут в народ еще хуже, чем чисто логический пролог или чисто функциональный хаскел. Интересно, почему объект-ориентированное программирование рулит. Там что, модель вычислений из одной операции? У хаскеля -- из двух. У пролога что, в модели вычислений три операции? Можно ли связать распространение языка с числом операций в модели вычислений? Тут я молчу о Машине Тьюринга, и почему на ней не программируют...