News for hackers. Stuff that matters.
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...

There are no comments on this comment yet.