Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.heimat.gr.jp!taurus!newsfeed.media.kyoto-u.ac.jp!msi.co.jp!not-for-mail From: KURODA Hisao Newsgroups: fj.comp.lang.lisp Subject: Re: LISP =?iso-2022-jp?b?GyRCJHI7SCQmJEgkLRsoQg==?= ([Q]=?iso-2022-jp?b?GyRCJW0lMCUkJXMlNyUnJWskSCQ9JCYkRyRKJCQlNxsoQiA=?= =?iso-2022-jp?b?GyRCJSclaxsoQg==?=) Date: 06 Sep 2004 09:58:48 +0900 Organization: Mathematical Systems Inc., Tokyo, Japan Lines: 37 Message-ID: <713c1wusaf.fsf@hinttika.msi.co.jp> References: <3990362news.pl@insigna.ie.u-ryukyu.ac.jp> <3990408news.pl@insigna.ie.u-ryukyu.ac.jp> <71isavww4n.fsf@hinttika.msi.co.jp> <3990428news.pl@rananim.ie.u-ryukyu.ac.jp> <71acw7wsz8.fsf@hinttika.msi.co.jp> <3990430news.pl@rananim.ie.u-ryukyu.ac.jp> <717jrbv51m.fsf@hinttika.msi.co.jp> <3990434news.pl@rananim.ie.u-ryukyu.ac.jp> NNTP-Posting-Host: hinttika.msi.co.jp Mime-Version: 1.0 Content-Type: text/plain; charset=iso-2022-jp Content-Transfer-Encoding: 8bit X-Trace: quux.msi.co.jp 1094432326 7857 192.51.53.29 (6 Sep 2004 00:58:46 GMT) X-Complaints-To: newsadmin@msi.co.jp NNTP-Posting-Date: 6 Sep 2004 00:58:46 GMT User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 Xref: ccsf.homeunix.org fj.comp.lang.lisp:94 kono@ie.u-ryukyu.ac.jp (Shinji KONO) writes: > 黒田さんは、Common Lisp で、コンパイラ向けの型制限を使いまく > る方ですか? 使い *まくり* はしませんが、必要なら使います。 例えばディジタルフィルタとかフーリエ変換とか型宣言もしないで、 float の boxing をガンガン起こしまくったものを、 お客さんにリリースするわけにいかないので。 > ある意味では、C や Fortran に勝つために導入されたものですよね。 そうなんですか? よくわかりません。別に、 c や fortran をヌキにしても、コンパイラを考えないようなナイーブなもの 使ってたんではせいぜいその言語のネガティブキャンペーンにしかならないように 思います。 > そういう使い方するなら、C でいいかなぁ。 tenth rule によれば、こういう人が ad hoc informally-specified bug-ridden slow implementation を延々と積みあげていくわけですよね。 > でも、僕に取ってのLISPというと、 シンプルな構文とシンプルな > 操作意味論を持っていて、その上に、マクロでシンタックスシュガ > ーをかけるっていうものだっていう偏見があるんだよね。それで、 > 十分にコンパイラが最適化をかけられる筈だと言う感じで。 macro を syntax 抽象に使う、という理解はいいですが、 コンパイラに最適化を指示させるんなら一般に compiler-macro ですね。 ですが型宣言が無くて macro だけで充分な最適化を指示できる方法というの がわたしには思いうかびません。 > そういう意味で、Common Lisp は、僕に取ってはLISPっぽくないLisp > ってわけです。 Common Lisp 以外にちゃんと macro や compiler macro が使えるものって何を使われるんでしょう?