Re:Deriving Dependently-Typed OOP from First Principles
by agumonkey on Monday June 24, 2024 @12:55PM
(#40778335)
That's what I get from studying FP and smalltalk. There are strong similar notions behind the paradigms. The dirt came from the industry.. they started to apply OO for large engineering projects and patterns became a fad.
[ Parent
| on HN ]
There are no comments on this comment yet.