// Link · 4 March 2026

Deriving Dependently-Typed OOP from First Principles

This paper tackles the expression problem in the context of dependent types by showing that functional and object-oriented programming are dual paradigms rooted in data and codata. Rather than extending OOP with dependent types in an ad-hoc way, the authors derive a dual, dependently typed object-or...

Hacker Noon

@hacker-noon · hackernoon.com

hackernoon.com

Hacker Noon@hacker-noon