KDOC 271: 動的型付け言語が機械語に変換しにくい理由

この文書のステータス

  • 作成
    • 2024-11-04 貴島
  • レビュー
    • 2024-11-08 貴島

概要

機械語にコンパイルするときは、データ型を知る必要がある。アセンブリや機械語ではサイズを明確に指定する必要があるためだ。メモリ上のデータの位置関係を数値で示さなければならない。型は効率的にメモリに詰めるために必要になる。さらにCPU命令セットによってデータ型のサイズが異なるので、その差異を吸収するために型の情報が必要である。型情報がなければ効率的に変換できないから、動的型付け言語では機械語に変換しにくい。

関連