News for hackers. Stuff that matters.

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

Re:Deriving Dependently-Typed OOP from First Principles by svieira on Monday June 24, 2024 @01:36PM (#40778718)
The thing that really brought it home to me was the talk "Uniting Church and State: FP and OO Together" by Noel Welsh: https://www.youtube.com/watch?v=IO5MD62dQbI
[ Parent | on HN ]

There are no comments on this comment yet.