2010-03-29から1日間の記事一覧

第二回PyJongに参加してきました

さきほど土曜日もYコンビネータでうんうん悩んでたとか書きましたが、ウソでした。麻雀やって頭のリフレッシュしてたんですねはい。第二回PyJongに参加していました。三年ぶりくらいに麻雀やって、点計はちょっと鈍くなってました*1が、腕前は落ちていません…

Y combinator cont'd cont'd

先日のY combinatorの記事が間違っているわけではないがせっかく型付けが弱いんだから再帰なしで書いたらいいじゃないとの指摘を受けて、土日からうーんと悩んでいた。理論的な根拠付けとしては再帰を使わないでラムダ式で定義したYこんびねーた Y = λf.(λx.…