コンテンツへスキップ

Chiilabo Note

  • /series
    • /print
    • /scheduled
    • /recorded
    • /dev
  • /app
  • /root

整数オーバーフロー

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

2026-05-19 by chiilabo
#Common Lisp(150) #SBCL(41) #fixnum(21) #Rust(21) #型宣言(18)
カテゴリー 記事 タグ CLHS、Common Lisp、declaim、declare、fixnum、ftype、most-positive-fixnum、optimize、Read、Rust、safety、safety 0、SBCL、the、アサーション、コンパイル単位、コンパイル時警告、ヒープ破壊、動的言語、型チェックポリシー、型の主張、型宣言、型推論、型最適化、実行時アサーション、実行時型チェック、整数オーバーフロー、証明可能な型、関数型宣言、静的型検査
© 2026 Chiilabo Note • Built with GeneratePress