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 guerrilla on Thursday February 04, 2021 @02:08PM (#26028663)
I think you missed the angle of the article. It's just pointing out the isomorphism between Church encoding, the visitor pattern and GADTs. You wouldn't use anything but GADTs in Haskell today, it's just an interesting curiosity unless you're actually a type theorist or something.
[ Parent | on HN ]

There are no comments on this comment yet.