Re:The Man Who Carried Computer Science on His Shoulders
by anon291 on Friday January 26, 2024 @04:12PM
(#39148465)
> The fact that a language is strong typed and you get compilation errors if you forgot something is a big plus.
That is not at all unique to OOP, and in fact OOP makes the problem undecidable due to ad-hoc subtyping. More structured languages like ML, Haskell, and Rust are much easier to reason about and have much stronger type systems.
That is not at all unique to OOP, and in fact OOP makes the problem undecidable due to ad-hoc subtyping. More structured languages like ML, Haskell, and Rust are much easier to reason about and have much stronger type systems.