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

Всегда можно запрограммировать одну парадигму в языке другой. Ещё и теоремку какую доказать по изоморфизму (Карри-Ховард или что-то подобное). Но это уже дефект программиста, который всплыл над всеми этими парадигмами: он не может их воспринимать сами по себе, он про них сразу думает на языке какой-то другой удобной ему (или требуемой кем-то другим) парадигмы. Понятно, что на факт-ориентированном языке можно и таблицы описать, почему бы и нет. Наоборот трудней будет, но тоже можно (сделать одну реляционную таблицу на три колонки, в самом простейшем случае, и объявить, что задача решена -- все запросы SQL к этой таблице заведомо факт-ориентированы ;-) ) Но я тут про другое: есть какие-то средства, и нужно показать эффективность работы самих этих средств, а не эмулирование других парадигм. Вот ссылки, которые я привёл, показывают эффективность multiple dispatch, плюс плюшки для модульности и создания DSL, которые получаются из сочетания multiple dispatch с метапрограммированием.