タグ

ブックマーク / miura1729.hatenadiary.org (1)

  • GC撲滅への道 - GC Advent Calendar - miura1729の日記

    Garbage Collection Advent Calendarの5日目の記事です。 私はGCが嫌いです。GCは幼稚で礼儀知らずで気分屋で 甘やかすといつまでも動き、ほったらかすとセグフォする。 そんなGCのために、私達人間は何もする必要はありませんよ ♪ ということで、GC撲滅の1方法としてLinear Lispなるものを紹介します。Linear Lispは線形論理という論理に基づいたLisp処理系です。 元論文はこれです。 Lively Linear Lisp -- 'Look Ma, No Garbage!' http://home.pipeline.com/~hbaker1/LinearLisp.html 線形論理については、ここのページが感動的なほどわかりやすいです。 線形論理って何? (情報科学演習 III 課題紹介(小林研究室)) http://web.yl.is.s.u

    GC撲滅への道 - GC Advent Calendar - miura1729の日記
    rydot
    rydot 2012/12/06
  • 1