Re:Deriving Dependently-Typed OOP from First Principles
by elbear on Monday June 24, 2024 @09:40AM
(#40775940)
Funny coincidence. A few days ago I was reading a blog post also about the Visitor pattern in Java, but in the context of recursion schemes (category theory):
http://logji.blogspot.com/2012/02/correcting-visitor-pattern...