История изменений
Исправление
dave,
(текущая версия)
:
Даже в Симуле за имитационное моделирование отвечали, скорее, сопрограммы, чем объекты, но раз ты задумал использовать «объекты», то ради бога.
Кстати, насчет rust. Там нет классического ООП, которого ты ждешь, а именно, нет наследования реализации, но есть инкапсуляция, есть наследование интерфейсов и можно сварганить полиморфизм ad-hoc. Там почти такая же модель работы с объектами как в haskell. Названия только немного отличаются: module -> mod, type class -> trait, polymophism -> generics, class constraint -> generic constraint, record -> struct, sum type -> enum type, а также самая вишенка: existential quantification -> trait object. Только и там, и там хорошая штука. Можно брать!
Исправление
dave,
:
Даже в Симуле за имитационное моделирование отвечали, скорее, сопрограммы, чем объекты, но раз ты задумал использовать «объекты», то ради бога.
Кстати, насчет rust. Там нет классического ООП, которого ты ждешь, а именно, нет наследования реализации, но есть инкапсуляция, есть наследование интерфейсов и можно сварганить полиморфизм ad-hoc. Там почти такая же модель работы с объектами как в haskell. Названия только немного отличаются: module -> mod, class type -> trait, polymophism -> generics, class constraint -> generic constraint, record -> struct, sum type -> enum type, а также самая вишенка: existential quantification -> trait object. Только и там, и там хорошая штука. Можно брать!
Исходная версия
dave,
:
Даже в Симуле за имитационное моделирование отвечали, скорее, сопрограммы, чем объекты, но раз ты задумал использовать «объекты», то ради бога.
Кстати, насчет rust. Там нет классического ООП, которого ты ждешь, а именно, нет наследования реализации, но есть инкапсуляция, есть наследование интерфейсов и можно сварганить ad-hoc полиморфизм. Там почти такая же модель работы с объектами как в haskell. Названия только немного отличаются: module -> mod, class type -> trait, polymophism -> generics, class constraint -> generic constraint, record -> struct, sum type -> enum type, а также самая вишенка: existential quantification -> trait object. Только и там, и там хорошая штука. Можно брать!