Linear Lisp

GC(Garbage Collection)の必要ないLisp処理系としてLinear Lispがある。
Linear Lispの"Linear"はLinear logic(線形論理)のそれやと思う。
線形論理を使って全てのセルの参照カウントを１に保ってるらしい。

自動メモリ管理の参考になりそうやから英語の論文を訳そうと思う。
英語は苦手やから、基本的に直訳で何となく分かれば良しとしよ。

Lively Linear Lisp -- 'Look Ma, No Garbage!'

まずタイトルから


Lively Linear Lisp -- 'Look Ma, No Garbage!'

効果的なLinear Lisp -- 「見てママ、ゴミがないよ！」


ついでにここの注釈も


Obscure reference to old Proctor & Gamble television advertisement for Crest toothpaste.

「Crest tootpaste」の古い「Proctor & Gamble」テレビ広告への参照をあいまいにしてください。


この論文のサブタイトルが「Proctor & Gamble」って会社の「Crest tootpaste」って歯磨き粉のテレビCMをパクった言い回しなんかな？


これからAbstractから順番にちょっとづつ訳していこ。


>> Lively Linear Lisp
>> Abstract
>> Introduction
>> A Linear Lisp Machine
>> A Linear Lisp Machine with FREE, COPY, EQUAL and Assignment
>> Dataflow-like Producer/Consumer EVAL
>> Reconstituting Trees from Fresh Frozen Concentrate
>> Linear Lisp EVAL
>> Implications for Real Multiprocessors
>> Conclusions and Previous Work