Compiler Internals

A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.

Compiler Internals

compiler docs は今も有用ですが、現在は実際に検証できる artifact に結びついた implementation map として提示されます。

本日時点で確認済み

  • compiler docs は、実装の地図と進行中の設計作業として読むのが最適です。
  • チェックイン済みの公開 artifact では Cranelift JIT が有効と報告されます。
  • 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。

現在の注意点

  • LLVM、GPU、LSP などの backend は、ソース配置ではなく artifact ごとに確認する必要があります。
  • 言語仕様は、現在の公開 artifact が実際に強制する内容より先行している場合があります。