Common Lispの型宣言 - Qiitaこの記事はLisp Advent Calendar 2016の24日目の記事です。 年末に入りとうとうクリスマスイブですが皆様いかがお過ごしでしょうか。 Common Lispは動的型付けの言語ですが、最適化のための型宣言機構が規格に組み込まれています。 また、SBCLやCMUCLでは、この型宣言を利用し、型エラーをコンパイル時に指摘する機能がついています。 型宣言と最適化の関係については、 最適化 - Common LISP users jp Cより高速なCommon Lispコードを書く Common Lispの最適化に挑戦してみる これらの記事によくまとまっています。 この記事は、実際にどのような記法で型宣言をするのかについて、学習のためにまとめたものになります。 type specifier 型は type specifier (typespec) という方式で記述されます。 ty
