AZ
то есть ты создал объект и никогда его не мутируешь?
да, в паре мест пересоздаю просто копии и всё
Size: a a a
2020 May 13
p
да, в паре мест пересоздаю просто копии и всё
ну тогда это и не ооп)
RP
ну тогда это и не ооп)
че это вдруг?
p
чисто сахарок над рекордами
AZ
ну тогда это и не ооп)
чойта? Там всякие классы, наследование
AZ
всё есть
AZ
виртуальные методы (чистые офк)
RP
чисто сахарок над рекордами
твой ооп чисто сахарок над асмом
p
пишешь вместо foo(bar) bar.foo()
p
вот и твое ооп
RP
пишешь вместо foo(bar) bar.foo()
в этом заключается твое ООП?
AZ
пишешь вместо foo(bar) bar.foo()
я слышал про наследование-инкапсмуляцию0полиморфизм, а вот про мутабельность обязательную - впервые
RP
так еще раз, можно мутабельность сделать через interior mutability и афинные типы
p
я слышал про наследование-инкапсмуляцию0полиморфизм, а вот про мутабельность обязательную - впервые
ну вот что ты делаешь это просто сахарок над рекордами) это ооп формально, но на практике семантически не отличается от фп
AZ
ну вот что ты делаешь это просто сахарок над рекордами) это ооп формально, но на практике семантически не отличается от фп
я не понимаю чем этот сахарок чем-то отличается от того что я в тех же методах буду чето мутировать
DS
ну вот что ты делаешь это просто сахарок над рекордами) это ооп формально, но на практике семантически не отличается от фп
Можно сделать мутабельное ООП в ФП языке на IORef'ах
DS
См. статью Олега
DS
на эту тему
RP
дай ссылку
p
я не понимаю чем этот сахарок чем-то отличается от того что я в тех же методах буду чето мутировать
в том что в таком случае объекты будут не просто набором полей а отдельными сущностями со своим внутренним состоянием