さきほど土曜日もYコンビネータでうんうん悩んでたとか書きましたが、ウソでした。麻雀やって頭のリフレッシュしてたんですねはい。第二回PyJongに参加していました。三年ぶりくらいに麻雀やって、点計はちょっと鈍くなってました*1が、腕前は落ちていません…
先日のY combinatorの記事が間違っているわけではないがせっかく型付けが弱いんだから再帰なしで書いたらいいじゃないとの指摘を受けて、土日からうーんと悩んでいた。理論的な根拠付けとしては再帰を使わないでラムダ式で定義したYこんびねーた Y = λf.(λx.…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。