From: SASADA Koichi <ko1 atdot.net>
Subject: [langsmith:284] Re: perlのuse 
Date: Mon, 29 Aug 2005 02:39:08 +0900

> 　ささだです。
> 
> Shiro Kawai wrote:
> > セマンティクスに関する議論です。
> > 
> > その場にいなかったので外しているかもしれませんが、
> > 一般に、コンパイルと実行のフェーズが分かれる可能性
> > がある場合、外部プログラムのロードがどちらの時点で
> > 行われるかが明示されていた方が有難いことがあります。
> 
> 　Ruby は必ず実行時である、と明示されていると思うのですが、これでは不十
> 分でしょうか。

そうか、それはそれで有りですね。
コンパイラ屋から見ると、コンパイル時ロードの構造があった方が
いろいろやりやすい、というだけです。

> 　最適化の話などはセマンティックスとはまた違うと思うので別口に。ただ、
> Ruby では最適化多分出来ないからなあ。

最適化というのはプログラム変換の一種で、その変換がセマンティクスを
変えないとコンパイラが証明できる場合に最適化を有効にすることができます。
ということで、セマンティクスと切り離して考えるわけにはいかないと思います。

まあ、Rubyくらい何もかも動的になるとコンパイラがほとんど何も
証明できないので、典型的な用法を想定して投機的にコンパイルしておき、
前提が崩れたら動的に再コンパイルをかける、という方針でどこまでも
押してゆくのがいいかもしれません。

--shiro

--
ML: langsmith quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml