>>134
依存型のあるHaskellやLean4はとくにオブジェクト指向という感じはしない