「新仕様R6RSの準拠を目指したSchemeインタプリタMosh 0.0.1リリース」記事へのコメント

差分実装

[Nyaboo (33313)]

ためしにビルドしようとして、./configureしたところ、下記エラーで止まりました。

checking for gosh... no
configure: error: gosh not found. Gauche (http://practical-scheme.net/gauche/) is required to build.

えっ、ちょっ、おまっ……。
え～と、Gaucheというのは、

Gauche(ゴーシュ)は、スクリプトインタプリタとしての使い易さに重点を置いて開発を行っている
R5RS準拠のScheme処理系です。

ということなので……え～と……。
なるほど、やけにファイル数が少ないと思ったら、差分の実装なんですね。
車輪の再発明を最低限に抑える点で、見習いたいです。すばらしいです。
# けど、なんか面倒になってきたので、ビルドして試してみるのは先送りです。

--
Nyaboo

Re:

[Anonymous Coward]

差分というわけじゃなくて、ブートストラップにGaucheを使ってるだけじゃないのかな。
Gaucheのランタイムをリンクしてる様子も無いし、ビルド時に必要なだけだと思うよ。

Re:

[Anonymous Coward]

うーん、ある言語の処理系がその言語自身で書かれているのは割と普通だと思うけど
もちろん、その言語の処理系が無いとビルド出来ないよね

後、何と言ったら良いのか分かんないんだけど
./configureって打つしか出来ないのに「ビルド」って言うのはカッコ悪いと思うよ

# 要するに「適当な事抜かすなボケ」

Re:差分実装

[Anonymous Coward]

> ./configureって打つしか出来ないのに「ビルド」って言うのはカッコ悪いと思うよ

では、ビルド以外の、代替案をお願いします。
load runner並みの名作を。

Re:差分実装

[Deasuke (34806)]

> うーん、ある言語の処理系がその言語自身で書かれているのは割と普通だと思うけど
moshはmeta-circular (参考 http://en.wikipedia.org/wiki/Metacircular_Interpreter ) をやってる訳じゃないと思います。
単に解析+VMインストラクションへの変換の部分のプログラム生成をGaucheにやらせてるだけかと。

# コメントの深読みしすぎだったらごめんなさい。

--
Best regards, でぃーすけ

Re:

[Anonymous Coward]

>./configureって打つしか出来ないのに「ビルド」って言うのはカッコ悪いと思うよ

そうだな、脳内でコンパイル／リンクしてヘックスダンプ直打ち位しないと「ビルド」したとは言えないな。

Re:

[Anonymous Coward]

ひげぽんさんも読んでいるならちょいと顔出せばいいのにと思うんだけど、Nyabooさんの疑問にお答えしてくれているので
ぺたっと貼っておきますMoshに関する誤解 [hatena.ne.jp]

schemeでかかれたコンパイラがcppへ変換されて行くところとかちょいと面白いです（でもそのためにgccのオプティマイザが根を上げたりしてたらしい）

#それにしてもひげぽんさんの熱意やら勉強熱心なところは見習わないとな～。

差分実装ではなくフルスクラッチ

[Nyaboo (33313)]

ありがとうございます、参考になります。
(というか、文言は変えてありますが、この「誤解」は明らかに私のコメントですよね)
よく調べもせずに適当なこと書いてすみませんでした。>ひげぽんさん

それにしても、schemeを使ってcppを生成するのは面白いですね。
この手のコンパイラの実装というと、yacc/lexとかbisonしか思い浮かばない私には、
目からうろこが落ちる思いです。
思い返せば、BASICで実装されたBASICコンパイラで、最初にやるのはそのBASICコンパイラ
自身をコンパイルすることだったり、gccをビルドするのにccを使って、できたgccでさらに
gcc自体を再ビルドしたりとか、いろんな処理系があったのを思い出しました。

> #それにしてもひげぽんさんの熱意やら勉強熱心なところは見習わないとな～。
同意です。
というか、「ひげぽんさんが差分実装などというぬるいことをするわけがないだろ」という
心の奥からの警鐘を無視して元コメントを書いてしまい、申し訳ない限りです。

--
Nyaboo