オブジェクト指向におけるVisitorパターンは、F代数によるμ再帰を Church encoding したもの

某所で オブジェクト指向 (OOP) における Visitorパターン について話されていたので、自分の関数型プログラミングのメモ用に整理してみたいと思います。 （Twitterで書くには少し長すぎたので、こちらに整理） 2021/01/10 EDIT: Church (Boehm–Berarducci) エンコーディングとVistorパターンについての具体的な事例は、こちらの記事が分かりやすいので、ご参照ください。 Haskell for all: The visitor pattern is essentially the same thing as Church encoding 概要 OOP における Visitor パターンは、関数型プログラミング的に言えば、（パターンマッチする）F代数によるμ再帰を Church encoding したもの。 つまり、 を関数適用して、結果 a

[Windymelt]

“μ再帰”