【Common Lisp】SBCLの型宣言と「静的型検査」

Rustのコンパイルのスケーラビリティを考える(初期CやSBCLと比べて)

【Common Lisp】型宣言が多いコードは静的型言語っぽい(型推論を活かす)