News for hackers. Stuff that matters.
Re:Deriving Dependently-Typed OOP from First Principles by Tainnor on Monday June 24, 2024 @04:14PM (#40780188)
Their definitions of OOP and FP are rather restrictive - it's basically FP = ADTs (data) and OOP = interfaces (codata). Many modern languages support both (e.g. Haskell has typeclasses, Java has records and sealed interfaces).

There are no comments on this comment yet.