スキスキ☆Scheme

Scheme。

第一級の継続。マクロ。
しかし、カッコだらけ、静的型チェックなし、etc...

• ambで非決定性計算をやれば、「それ、リストモナドで」。

• マクロは、自分が極めてないので、なんかすごいらしいとしか言えず。OCamlにはcamlp4やMetaOCamlもあるし。

• 遅延評価およびストリームは、Haskellにおかぶを奪われ。

もう、疲れたよ・・・

だが、
Schemeには、メタ言語としての立場がある。

Schemeはあと10年は戦える。

• SXML XMLはSchemeのデッドコピーなんて声も。
• Liskell HaskellをS式で。
• Typed Scheme　静的型付きScheme
• Scheme->Javascript とか Scheme->Java とか。
• ホワット・ア・ワンダフル・ワールド - An Incremental Approach to Compiler Construction コンパイラの勉強ならScheme で

DrSchemeをダウンロードすると、Slideshowがついてくる。これはプレゼンのためのプログラム言語だ。
LL魂、キミならどう書く 〜プレゼンソフトを作る〜　はこれで決まりだっ