Без заголовка
/// В языках программирования ровно оно: foundational ontology без каких-то внятных онтологических посылок. Типы, и всё. Холст, на котором рисовать, никаких предположений, что там будет рисоваться, какой мир. ///
NB:: ИМХО смотреть надо не на языки-сами-по-себе, а на языки плюс бибилиотеки/фреймворки/экосистемы.