関数の再帰的な定義に名前付けは必要か - 貳佰伍拾陸夜日記

結論から言うと, 名前を付けることなく再帰的な関数を定義することは可能. 特定のプログラミング言語でどうかというよりは抽象概念としての関数の再帰を名前なしに実現可能かどうかという話(名前なしに実現できるプログラミング言語は存在するかという話). 発端 id:naoyaさんがこういうツイートをしていた. 再帰を書くときに何気なく関数に名前つけたり let で束縛したりしてたけど「再帰には三項関係が必要でありその実現には記号が本質的に関わる」とあり、名前づけの行為が必然だったことが分かった。プログラミングするときの視点が変わるな— naoya (@naoya_ito) 2022年8月12日 たとえば以下のように書いたときのlet fact =みたいな話. let fact = n => n <= 1 ? 1 : n * fact(n-1) ちなみに, 話は一見逸れるけど, こう書けると必然的に

[mandel59]

そもそも『記号と再帰』に不動点関数の話が出てきて、最終的に「三次性は不動点関数であることが示唆された」(7.6) って書いてるんだよな

[roirrawedoc]

分からない

[zyzy]

不動点関数使えばええやんけ、と思ったらそのまんまの話だった。

[rryu]

全くよく分からないが、記号論的には名前をつけるという行為は不動点関数であるということなのだろうか。

[r-west]

何の話かと思ったら、プログラミング言語に記号論を適用したら記号論の根幹概念の一つが不動点関数だったという(?)、やっぱり何言ってるのか訳が分からない話だった

[h-hirai]

若い頃に理解したくてできなくてあきらめたやつだ。

[mukaken]

“『記号と再帰』という書籍からの引用で, 再帰を記号論的に捉えるとどうなるか”

[nanakoso]

典型的な「理論上不可能ではない」

[mizdra]

不動点コンビネータ面白い