無名再帰
Haskell では以下のように書く。fix が不動点コンビネータ。ラムダ式で引数 f を余分に持っておき、f を自分自身として参照するように記述する。すると、無名再帰となる。
Forth ではワードの定義中では、名前を用いて自分自身を参照できないため、RECURSE というワードで自分自身を参照する。
Perl でも v5.16 から同様に、__SUB__ というリテラル(厳密には組込み関数)が、実行中のサブルーチン自身へのリファレンスを返し、無名再帰に利用できるようになった。
不動点コンビネータは Python の代入式を使った (f := lambda n: 1 if n == 0 else n * f(n - 1))(5) と同様である。