[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

タグ

λに関するdankogaiのブックマーク (3)

  • λ Calculus - まずは遅延評価から : 404 Blog Not Found

    2008年02月04日07:00 カテゴリLightweight Languages λ Calculus - まずは遅延評価から うーん、まずY Combinatorというのはおじさんたちが悪かったかな。ギター習いたてでいきなりFの音を出すようなもんだから。 Haskell のリストと遅延評価が少し分かった - IT戦記 Y コンビネータって何? - IT戦記 まずは、遅延評価についてきちんとおさらいしておこう。 慌てるな、ループは急に止まらない まずは、以下の式を考えてみる。 (function(a, b, c){ return a ? b : c; })(true, 1, 1+1); 実行してみると、1となるはずだ。しかしここで重要なのはこのことじゃない。後ろの1+1が実行されるかだ。このことはどうやって確認したらよいだろうか。以下のようにしてみればいいはずだ。 var ELSE =

    λ Calculus - まずは遅延評価から : 404 Blog Not Found
  • Y談 - 自分って自明? : 404 Blog Not Found

    2008年02月02日02:30 カテゴリLightweight Languages Y談 - 自分って自明? このY Combinatorの話題も、実名匿名論争ほどではないにしろ時折ネットを駆け抜ける風になる話題ですね。 Y コンビネータって何? - IT戦記 Y コンビネータいみふ><! で、私を含め、 Y Combinator が何なのか、何が凄いのかというのを解説する人はたくさんいるのだけど、ここでは一応それが何なのかわかったことにして、その先をさらに考えてみる。 「前回までのあらすじ」代わりに、今まであったλ Calculusの説明の中で、実例込みのものとしては最も簡潔なものの一つを引用させていただく。 d.y.d. - PHP で Yコンビネータ そういう風に「○○は何と何があればできるのか?」を突き詰めてった一つの究極が …… 「ループって再帰で書けるよね」 「名前付き関数っ

    Y談 - 自分って自明? : 404 Blog Not Found
  • λ萌え - たらいを後回し : 404 Blog Not Found

    2007年05月13日06:30 カテゴリLightweight Languages λ萌え - たらいを後回し Gauche Nightではしゃぎすぎたところにもってきて、昨日はEncodeをメンテしながらホームパーティーなんぞをしていたらどうやら風邪を引いてしまったみたい。 風邪で頭が痛いときには、λと戯れるに限る、ということでこの話題。 前回までのあらすじ 404 Blog Not Found:たらいを回すならHaskell 404 Blog Not Found:javascriptでもたらいを回してみた 404 Blog Not Found:gaucheでもたらいを回してみた 404 Blog Not Found:C - Judyでたらい回し ここまでのあらすじでわかった事は、遅延評価(lazy evaluation)するHaskellがむちゃくちゃ優秀なこと、遅延評価がない言語で

    λ萌え - たらいを後回し : 404 Blog Not Found
    dankogai
    dankogai 2007/05/13
    gaucheかわいいよgauche
  • 1