Re:Deriving Dependently-Typed OOP from First Principles
by kikimora on Sunday June 23, 2024 @07:11PM
(#40771414)
Very interesting. I’m on page 3 and already got a big AHA moment about OOP and FP duality.
[ Parent
| on HN ]
Re:Deriving Dependently-Typed OOP from First Principles
by _ZeD_ on Monday June 24, 2024 @02:36AM
(#40773078)
The very old Qc Na koan is still relevant -- http://people.csail.mit.edu/gregs/ll1-discuss-archive-html/m...