SICPを読む前に: Scheme 編

1. Emacs

   個人的には Emacs の使用を強く推奨します。 Emacs を使用している Schemer が多いので Emacs で Scheme を使うための環境構築をするためのドキュメントがたくさん存在しています。 また、私は Emacs で Scheme をよく書いているので、何か問題が生じてもすぐに対応できる可能性が高いです。

2. DrRacket

   Emacs を使用しない場合は DrRacket がおすすめです。 DrRacket を使うと実質的に選択できる Scheme の処理系が Racket に絞られてしまうのが難点なのですが SICP を読む限りは大きな問題にはならないです。

   ただし、Racket の標準の言語(#lang racket)では set-car!, set-cdr! が存在していないので普通に使うと第3章で詰みます。 #lang r5rs とするか DrRacket の設定を変更して標準の Scheme を使用するように変更する必要があります。 また、Racket には sicp 専用のモードがあるようなのでそちらを使用してもいいかもしれません。

1. Vim

   軽く調べた感じ Vim でも Lisp のプログラムが書けるようです。 if のインデントが Scheme の一般的なスタイルとは違ったので、 lispwords 変数から if は取り除いた方がいいかもしれません。

   また、Vim から REPL を起動できるのかといったことについては良く分かっていないので、Vim を使う場合は自己責任でお願いします。

1. Visual Studio Code

   Scheme のコードをハイライトするプラグインを見つけることはできたのですが、 正しくインデントするためのプラグインを見つけることができませんでした(良いプラグインを知っている方がいたら教えて欲しいです。Twitter の tojoqk にリプライか DM もしくはメールで連絡をお願いいたします)。

   次の章で説明しますが、正しく自動でインデントができないと Scheme のプログラムを書くのはかなり厳しいのでインデントの問題が解決しない限りは諦めて欲しいです……。

Scheme のコードで (f a b c) というような式が現われた場合、 基本的には f が手続きであれば a, b, c を渡して f を呼びだすという意味で、 f が特殊形式であれば (f a b c) が f 特有のルールで評価されます。

これだけであれば簡単なのですが例外があって let や cond のような特殊形式の中では括弧をグルーピングのために使用しています。 グルーピングのために使用された括弧の中で手続きを呼び出すような場合には括弧をたくさん書く必要があり、ここで括弧の対応を誤ってしまうという問題が発生しがちです。

たとえば下記のように let の中で括弧の対応を誤ってしまう場合があります(ここでは let についての説明はしません)

(let ((a (+ 1 2)
      (b (+ 3 4))))
  (+ a b))

これを Scheme に解釈させると、 let の構文エラーになるのですが、 ぱっと見ただけではどこがおかしいのかを判断するのは困難です。 Scheme 側も let の中でどういった構文エラーが発生しているかまでは伝えることができるのですが、 具体的にどう直せばよいのかまでは教えてくれません。 よって正しい対処法を知らないとこのような些細なミスで多くの時間を浪費してしまいます。

こういった場合にはエディタの機能で let 式全体を再インデント することによってエラーの箇所を特定することができます。 今回のコードを再インデントをすると下記のような状態になります。

(let ((a (+ 1 2)
         (b (+ 3 4))))
  (+ a b))

(b (+ 3 4)) が右にずれてしまいました。 これは (a (+ 1 2)) しないといけないのに最後の閉じ括弧を書き忘れてしまっていることが原因です。

このように、エディタの 自動インデント機能は重要 です。 括弧の対応に関するエラーはほとんど自動インデントで撲滅できるのでうまく活用してください。

これさえ気をつければ、「Scheme には括弧がいっぱいあって大変」ということはないので安心してプログラムを書くことができます。