News for hackers. Stuff that matters.

A comment on The visitor pattern is essentially the same thing as Church encoding. Parent comment

Re:The visitor pattern is essentially the same thing as Chur... by skybrian on Thursday February 04, 2021 @08:54PM (#26032161)
Okay, that's pretty specialized, but I can see how it would be useful in proofs.
[ Parent | on HN ]

There are no comments on this comment yet.