2011-12-09から1日間の記事一覧
いままでラムダ計算を直視してなかったので、せっかくなのでPyhonのlambdaで実装してみよう。わーいラムダだー何でもできるぞー。いえーい。 参考資料 ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記 チャーチ数 ZERO = lambda s, z: z ONE = lambda s,…
いままでラムダ計算を直視してなかったので、せっかくなのでPyhonのlambdaで実装してみよう。わーいラムダだー何でもできるぞー。いえーい。 参考資料 ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記 チャーチ数 ZERO = lambda s, z: z ONE = lambda s,…