概要

継続の使える schemeを作ってみたくなった。
(Common Lispのサブセット（関数１００〜２００程度）は今まで５回ほど、作った事があるが、schemeを作るのは、はじめてである）

そこそこ、うごくようになった。
R7RSのpico仕様というのがあり、それが動くか動かないか程度の出来栄え。

実装言語はJavaで作っている。

ふいに、Graalで動かしてみたくなった

普段はOpenJDKなのだが、Graalでがんばれば、Nativeコンパイルできるのだろうか？

自宅のMacにGraal入れてみたよ。

SDKMANを入れていなかったので、入れてから、

sdk install java 21.0.4-graal

ORACLEのGraal Ver21を入れてみたよ。

うーん、antでコンパイル出来なくなった

デバッグ用のログを吐くのに、slf4jを使っているのだが、そこでコンパイルが通らない。
もう１つはSWINGのGUIで、コンパイルエラー。

色々調べたら、Graalでコンパイルする時は、ソースが必要みたいだ。

とり急ぎ動かしてみたかったので、slf4j-apiのソースだけ落としてくる & SWING-GUIのソースは削除してみた。

antでコンパイルできた。

ワーニングがいっぱい出たけどね。

証拠画面キャプチャー

Graalですが、nativeコンパイルは、まだ行っていません。

java -jar lisp-0.1.jar

で、起動すると、slf4jの実装がないよと、メッセージが３行出ている。
（当然ですがこのjavaはGraal Ver21です)
メッセージが３行出るのは、まぁ仕方ないな。

ちなみに、メモリはどれくらい食っているのか気になって、Macで調べてみたよ。

33.5MB か。思ったより随分と少ない。
いい感じである。

ちなみに、このLispインタープリタは、JavaのリフレクションAPIを使って、Javaで実装された足し算とかを呼び出している。
特にソース修正なしで、GraalVM（インタープリター）で動きました。

紫藤さんのScheme入門 16.継続はオススメです

このページ本当に、わかりやすい。神。
継続(call/cc)を一度も使った事ない、私でも、なんとか理解できた。（少しだけ）

ここに載っているサンプルを、入力してみる。

紫藤さんの記事に書かれている答えと一致しました。
やったね。

（継続は難しいです。この答えはいくら？と聞かれて自分で考えたら、たぶん５０％以上の確率で、間違える自信あり！）

R7RS pico

schemeのpico仕様というのがあって、以下にrustで書かれたサンプル実装がありました。

私が作っているJavaインタープリタは、まだこのpico仕様と、完全に同じ結果にはなっていません。

ちなみに Gauche(ゴーシュ)でも、やってみたんだけど、完全に同じ結果にはなりませんでした。

Print処理で、巡回リストの印刷にはじめて対応出来た。

今まで、何回かLispの実装はしているのですが、巡回リストの印刷にはじめて対応できました。
ちょっと、嬉しい。

R7RSの文字の仕様と、つちよし問題

R7RS-smallの日本語訳を読んでいた。
6.6章　文字に、以下のような事が書いてあった。

(char->integer char) 手続き
(integer->char n) 手続き
Unicode 文字が与えられたとき，char->integer は
その文字の Unicode スカラ値に等しい 0 から #xD7FF の間，
または#xE000 から #x10FFFF の間の正確整数を返す。
非 Unicode文字が与えられたときには，#x10FFFF より
大きい正確整数を返す。
これは，実装が内部的に Unicode 表現を使用する
かどうかとは真に独立している。
char->integer が適用されたときにその文字が返す値の正確
整数が与えられたとき，integer->char はその文字を返す。

これって凄くないですか？

私、会社では、JavaでWebシステムの開発をしています。
１年ぐらい前だったか、社内用のシステムで、文章入力欄に
「𠮷田さん」と書いたらエラーになるという報告を受けました。
吉の上の部分が、土になっているのを、「つちよし」というらしいのですが、
この文字は、Javaではサロゲート・ペア文字となってしまいます。
サロゲート・ペアでバグってしまいました。

でも上のR7RS-smallの文字仕様を見て、素直に実装すると、サロゲートペア文字を根絶できそうな気がします。

自作のpico schemeでも、「𠮷」が、「１文字として扱える」ようにすべく絶賛バグ出し中です。

StringBuilder に appendCodePointというメソッドがあるんですね。

appendCodePoint(int codePoint)
codePoint引数の文字列表現をこのシーケンスに追加します。

1文字をcharではなく、intに入れてから、処理をしています。
こんなメソッドがあるとは知らなかった。
大変勉強になりました。

まとめ

個人的な見解ですが、自分がlispインタープリタを作るのだったら、一番慣れているJavaか、今勢いのあるrustのどちらかと思っています。

昔だったら、JavaVMの上で動く、SchemeのVMという事で、動作が遅くなりそうでした。
しかし近い将来に、GraalVMのNativeコンパイラによって、スピードも改善されるでしょう。GraalVMに大変期待しています。

それから、 R7RS picoのソースを使って、rustの学習中です。
（６０歳過ぎると、もの覚えが悪くて困りますが）

そのうち Graal の nativeコンパイルも、やってみたいです。