COMMON LISP JP > Archives > 2018/12/22

2018/12/22 08:12:22 UTChojo
#
お久しぶりです!(気がつけばあれから半年も経ってますね)規格に準拠しているかどうかを点検するのに
#
おっと、Enterを押したら送信されてしまいました(失礼しました)

JSCLの理解を深める前に、自分自身がLISPの理解が浅いと言うこともあって、これからSchemeの実装を試みようと考えているのですが、自作した処理系がRnRSに準拠しているか確かめるプログラムというのは存在するのでしょうか?

また、そのような言語仕様を満たしているか検証するプログラムのことをなんというのでしょうか?検索したのですが見つけられなかったため検索ワードのヒントでもいただけないかと思いまして... アドバイスよろしくお願いします!
2018/12/22 08:17:49 UTCshiro
#
Schemeには厳密なもの/公式なものはないですが、R7RS smallの仕様を確認するtest suiteなら例えば: https://github.com/gypified/chibi-scheme/blob/master/tests/r7rs-tests.scm
2018/12/22 08:19:40 UTChojo
#
ありがとうございます!:)
2018/12/22 08:21:00 UTCshiro
#
R7RSはエラーの定義がゆるくて(処理系が独自に振る舞いを拡張してよい)、「エラーを出すこと」のテストがやりにくいんで、そこはカバーされてないですが。
2018/12/22 08:39:12 UTChojo
#
なるほど、そうなんですね!Schemeは比較的実装が簡単と聞いたので、どうせならJavaScriptで動くR5RSかR7RSに準拠した処理系を作ってみよう!あわよくばSRFIを乗せられたらいいな..とか思ってたんですが、エラーの定義がゆるくてもSRFIのような拡張を問題なく搭載できるものなのでしょうか?また、エラー定義が緩いというのはよくある言語のtry catch, throwなどの例外処理の定義が曖昧という解釈でよろしいですか?
#
今気がついたのですが、ここはCommon LISPの部屋でした(汗)別の部屋に移った方がよろしいでしょうか?
2018/12/22 08:53:48 UTCshiro
#
そうですね、Schemeについてもっと疑問があるならGauche部屋に移るのが良いかもしれません。
2018/12/22 16:19:07 UTChojo
#
ありがとうございます!Gaushe部屋で質問させて頂きますね!^^
#
×Gaushe ○Gauche