言語ガイド

コア構文と意味論(現在のコンパイラに合わせて)。

言語ガイド

このガイドは現在、現行 fixture に残っている保守的な言語表面だけを扱います。binding、function、effect、control flow が中心です。

本日時点で確認済み

  • 基本的な binding、function、control flow は引き続きサポート対象の言語表面です。
  • 単純な binding と parameter ではローカルな型推論が機能します。
  • 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。

現在の注意点

  • 言語仕様は、現在の公開 artifact が実際に強制する内容より先行している場合があります。
  • 実際の挙動は、リポジトリ上のファイルだけではなく、使用している souc バイナリそのものに依存します。