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 msoad on Monday June 24, 2024 @09:43AM (#40775971)
You can play around with the language itself here

https://polarity-lang.github.io/oopsla24/#ChurchEncodingCoda...

[ Parent | on HN ]

There are no comments on this comment yet.