This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
HackerNoon
hackernoon.com
did:plc:kbzotn4ippvrqllcitxglgm2
A new calculus unifies functional and object-oriented paradigms in dependently typed languages using duality and defunctionalization. #objectorientedprogramming
https://hackernoon.com/deriving-dependently-typed-oop-from-first-principles
2026-03-04T11:01:06.895Z