タグ

2007年7月25日のブックマーク (3件)

  • L2Lisp in Ruby:CodeZine

    はじめに P.Graham著『On Lisp』に示されているように、現代的なLispプログラミングでは静的スコープ(字句的スコープ)と末尾呼出し(末尾再帰を含む)の最適化のもとでのマクロが重要な意味をもちます。しかし、今まで処理系作成の初心者が内部に手を入れやすい手頃な大きさの実装が事実上ありませんでした。 ここでは、そういったモダンな特徴を備えた小さなLispインタープリタL2LispをRubyで作ってみます。L2Lisp(Little Lambda Lisp)は、Lispの理論的背景であるラムダ算法(lambda calculus)に対し、有力なLisp方言であるSchemeと同程度に忠実である一方、その他の点では広く普及しているEmacs Lispのサブセットとしたオリジナルの小型Lispです。 実行例としてtak関数を定義し、実行する様子を示します。Ruby以外に必要なのはL2Li

  • 「ウィキペディアを引用するな」 | Okumura's Blog

    という主張が昨日だか一昨日だかの朝日新聞に載っていた。図書館情報学方面の人はそもそもWebの引用に懐疑的で,どうしてもURLを参考文献として挙げるなら必ず「何年何月何日閲覧」と書き加えるようによく言われる。機械的に適用すると,「ウィキペディア(http://ja.wikipedia.org/,2007年7月25日閲覧)を引用すべきではない」のような変なことになる。 Wikipediaの信頼性についてのNatureによる古典的な調査 Internet encyclopaedias go head to head(2005)はEncyclopædia Britannicaと比較して「ほぼ互角」とした。Britannica側の反論への反論も掲載されている。 Wikipedia側からBritannicaの間違いを指摘した Errors in the Encyclopædia Britannica

    todogzm
    todogzm 2007/07/25
  • The "Double-Checked Locking is Broken" Declaration

    The "Double-Checked Locking is Broken" Declaration Signed by: David Bacon (IBM Research) Joshua Bloch (Javasoft), Jeff Bogda, Cliff Click (Hotspot JVM project), Paul Haahr, Doug Lea, Tom May, Jan-Willem Maessen, Jeremy Manson, John D. Mitchell (jGuru) Kelvin Nilsen, Bill Pugh, Emin Gun Sirer Double-Checked Locking is widely cited and used as an efficient method for implementing lazy initialization

    todogzm
    todogzm 2007/07/25
    Javaのメモリモデルではダブルチェックのロックがうまく行かない!? 要チェック。