2007-12-28から1日間の記事一覧

ラムダ式の読みかた - 冬通りに消え行く制服ガールは✖夢物語にリアルを求めない。 - subtech

わかってなくて苦労したけどようはλを \ にして . を -> にすれば Haskell の記法として読めるみたいだ (普通逆なんだろうけど) おー、すごい。僕もλ式普通に読めるようになったYO! あと普通カリー化なのもポイント!

チャーチ数

チャーチ数を使うとλを使って自然数を表すことができます。詳しくは、ラムダ計算ABCを参照してください。 で。以下の関数curried_lambdaを使うと、 def curried_lambda(n = -1, xs = [], &f) n = f.arity if n < 0 if n == 0 f[*xs] else lambda {|x| cur…

17:15で終わりです。

仕事納めでございます

今年一年の仕事を振り返ると、まぁよくも悪くもほどほどだったように思います。得意分野の仕事ではなかったけれど、新しいこともできたから、それはそれでよいのかと思います。 しかし、今日はどうにも風邪気味で喉の調子がよくなかったので、アルコールは控…