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).
[ Parent
| on HN ]
There are no comments on this comment yet.