пикантное название

для чего языки делаются синтетические?

Чтобы выражать что-то можно было удобно

выражать егорооп

есле я правильно понял, егор сделал язык для промежуточного представления других языков, чтобы гигатонны говнокода в хуавее линтить

Но насколько я помню, да, у егора идея языков в том, чтобы правильно писать ооп можно было, а неправильно - нельзя

usafePerformOOP то есть?

OOP is unsound

(always has been)

да всё unsound так то

Непонятно, почему

оопе и фпе это же зонтичные наименования для книг анкл боба и гранина соответственно

I find OOP technically unsound. It attempts to decompose the world in terms of interfaces that vary on a single type. To deal with the real problems you need multisorted algebras - families of interfaces that span multiple types. I find OOP philosophically unsound. It claims that everything is an object. Even if it is true it is not very interesting - saying that everything is an object is saying nothing at all. I find OOP methodologically wrong. It starts with classes. It is as if mathematicians would start with axioms. You do not start with axioms - you start with proofs. Only when you have found a bunch of related proofs, can you come up with axioms. You end with axioms. The same thing is true in programming: you have to start with interesting algorithms. Only when you understand them well, can you come up with an interface that will let them work.

to deal with the real problems you need multisorted algebras

@haskell_moiseevitch понятно?

а вы там фшарпом сайтики парсите

стыдоба

а что такое мультисортед алебра?

да, как и ожидалось, чушка