不動点コンビネータ

この記事は はてなエンジニア Advent Calendar 2024 の 2 日目の記事です。 昨日は id:hogashi さんの「querySelectorAllの結果をmapしたいときはArray.fromすると良い」でした。 どうも、趣味で関数型言語をやっている者です。 長らく関数型言語をやってなかったら無名再帰を忘れかけていたので、おさらいがてら不動点コンビネータで無名再帰を作る流れを書き下します。 以下、JavaScript の文法で書かれたコードをもとに説明していきます。 目次 目次 無名再帰とは 不動点コンビネータ (Z コンビネータ) f = next => x => ne…