Qi - Lisp for 21 Century

2008年11月に導入され、Common Lisp によって実装された言語です。 Qi II は効率的で型安全な Lisp プログラムを生成し、そのプログラムはいかなるマシン上でも動作させることができます。 Qi II は私が2005年4月に導入したQi Iをさらに進化させたものです。 たくさん: Qi II は CAR / CDR を強制しない。かわりに、パターンマッチを使う事ができる。典型的な Qi プログラムは Lisp プログラムと比較して非空白文字が40%程度になる。 Qi II はオプショナルな静的型チェックを備えている。実際のアプリケーションで、「神さま、プログラムが型エラーでクラッシュしませんように…」と祈る必要がなくなる。 Qi II はラムダ計算と一貫性がある。Common Lisp で部分適用のような概念が利用できる。 Qi II はとても速いコードを生成する。

[kiyo_hiko]

S式とホーン節がせめてくる　静的型付けはオプション

[rydot]

なんかすごそう。

[kgbu]

Common Lispのコードを吐く言語処理系らしい。型チェック付きだが、気にしないですますこともできそうだ。

[sshi]

「Qi II は効率的で型安全な Lisp プログラムを生成し、そのプログラムはいかなるマシン上でも動作させることができます。」/なんだこれは…これはいじってみなければ