AD
"А джава, кстати, в этой классификации тоже императивный и при этом функциональный язык"
В этом докладе была идея называть яп функциональным, если кодовая база состоит в основном из функций. В Java на каждый чих класс пишется. Не знаю, есть ли смысл ковыряться в терминах, так ведь можно и Хаскель имеративным ООП-языком назвать. Сам не писал на нем, но вот попался забаный вопрос на stackoverflow Why is Haskell referred to as "Best Imperative Language”?) Так же можно найти статьи по типу "OOP in Haskell".