λ計算
list from #computation/lambda - 相互再帰をする toohard
関数(s1, s2, …, sn)のn-tupleを模倣したpを束縛するλ抽象を不動点コンビネータに突っ込んで、 - P = y (λp. (λq. q(p t1)(p t2)…(p tn))) - si = P (λx1 x2 … xn. xn)とすると si = ti s1 s2 … sn になって相互再帰が出来る— (K → y) → y (@Kory__3) May 18, 2022
https://twitter.com/Kory__3/status/1526968858359345153?s=20&t=x0ybwoPFN_YHRB89F5pyIw
参考文献
- ラムダ計算入門
- 2022-11-14 ラムダ計算 - Wikipedia
- 大体書きたいことのっていた watchlater