News for hackers. Stuff that matters.

A comment on Deriving Dependently-Typed OOP from First Principles.

Re:Deriving Dependently-Typed OOP from First Principles by grafs50 on Sunday June 23, 2024 @06:56PM (#40771333)
Interesting, I wondered what it would even mean to derive a programming paradigm.
[ Parent | on HN ]

There are no comments on this comment yet.