活動記録/第26回

Thanks

YEAR OF THE CAT

OCaml をブラウザでクライアント側で実行できたら面白い &dagger;

という話になり、皆で検討した。

そういえば、アラン・ケイもそんなことを言っていた。

http://itpro.nikkeibp.co.jp/a/it/alacarte/interview0626/alan_5.shtml

Webの技術は遅々として進歩しない。例えば、言語「Logo」のことを記述したWikipediaのページをみても、そこでLogoのプログラムを実行することさえできない。今のコンピュータは、昔の「Apple II」に比べれば1万倍も高速化しているというのに。

どう実装したらいいだろう。検討で出た案。

OCamlのソースを Javascript に翻訳して実行。
OCamlにバイトコードを吐いてもらう。それを Jythonみたいに Javaのバイトコードにして、Javaアプレットとして実行。あるいは、javascriptで解釈して実行。

1.の案に集まったアイディア。

まずは、いきなり OCaml を目指さずに、MinCaml?くらいの、単純なソースを読み込むことを目標にしよう。
OCamlに構文チェックしてもらって、正しいソースだけを相手にすればもっと楽だ。
Scheme2Js が参考になりそうだ。
JavaをJavaScriptに変換するグーグルのツールを使ってみようをOCamlでやろうとしているわけで、壮大な話です。 -- げんま? 2006-12-10 (日) 00:22:44

2.の案には、

OCamlに、 Java や、 .NET や、 Parrot のバイトコードを吐いてもらえないか。
あるいは、SpiderMonkey?のバイトコードとか？ -- げんま? 2006-12-06 (水) 11:08:46
今日ガリグ先生にこの話をしたら、 JavaCaml を教えてくれました。 OCamlのバイトコードをJavaのバイトコードに変換して、Java アプレットとして実行するのだとか。 -- げんま? 2006-12-06 (水) 16:11:00
JavaCaml?のサイトにも少し書いてありますが、OCamlのバイトコードの命令語は数も少なく難しくありません。JavaCaml?を手直しするか、直接バイトコードインタープリターをJavaScript?で書くあたりが一番簡単な気がします。（ただ、それだと、あまり型論理とかの勉強にはならないかも・・・） -- ogasawara? 2006-12-06 (水) 18:06:16
SPARCをJavaScript?でエミュレートしてMinCaml?に吐かせたネイティブコードを実行する、という案もげんまさんからでてましたよ。 -- 下村? 2006-12-06 (水) 21:39:24
うん、言ってはみたものの、バイトコードを解釈するほうがずっといいことに後から気づいた。 -- げんま? 2006-12-07 (木) 02:58:07
少しやってみましたが、Toplevelのソースコードをごにょごにょとすると、OCamlにバイトコードを吐かせることはできました。これはパッチとして公開すれば、ライセンス的にも問題ありません。あとはバイトコードインタープリタですが、諸所の事情(これは勉強会でお話します)でJavaScript?だと泣きそうです。せめてJavaApplet?の方がいいかも・・・。 -- ogasawara? 2006-12-10 (日) 12:55:41
OCaml インタープリタを -dinstr オプションで起動すると、バイトコードをプリントしてくれるらしいです。 -- げんま? 2006-12-10 (日) 14:51:57
Mozillaのjavascriptインタープリタには、関数を逆アセンブルする機能があるようです。 -- げんま? 2006-12-10 (日) 14:54:59
OCaml の仕様解説,VM命令一覧(ソースコードにgarrigueを発見),参考になる日本語サイト -- げんま? 2006-12-11 (月) 20:46:46
ogasawaraさんの指摘。"VM命令のC_CALLというのは、C言語を呼ぶ命令で、これはMLでできないマジックをやるためにある。これをJavascriptで表現できるかが怪しい。Javaなら表現できそう。この命令は Pervasive でも使われているので、避けて通れない。"とのこと。 -- げんま? 2006-12-11 (月) 23:45:39
GoogleのJavaからJavaScript?の件がオープンソース化されたので，もし，MLで出来ないマジックがどの程度のマジックかによっては，JavaScript?化出来るかも？ -- 2006-12-14 (木) 02:00:43

OCamlに別のバイトコードを吐かせる議論は

[Caml-list] Alternative Bytecodes for OCaml

http://caml.inria.fr/pub/ml-archives/caml-list/2004/08/87b02814a0a37006562b51b979dcaf47.en.html

でもあったようだ。

この回じゃないかもしれませんが，サーバサイドで実行の話が出ましたが，そうした形式で実現されているらしいJavaの教育用のサイトがありました．http://javala.cs.tut.fi/en/ -- 2007-01-10 (水) 15:32:06

トップページ

OCaml Tips

ネタ記録庫

関数型言語によるWeb開発

ScalaByExample(訳)

限定継続

お勉強リンク

発表資料

活動記録

最新の20件

Thanks

OCaml をブラウザでクライアント側で実行できたら面白い &dagger;