Известный факт — объектно-ориентированное программирование является реализацией платоновской онтологии, с классами как эйдосами, которые инстанцируются, порождая объекты тварного мира. Правда, до инкапсуляции, наследования и полиморфизма Платон не додумался вроде бы