変数と型

変数とローカル binding は今も比較的素直ですが、科学コードでは意図を示すために明示的な注釈が依然として安全です。

本日時点で確認済み

• 単純な binding と parameter ではローカルな型推論が機能します。
• units、effects、信頼度に敏感な値を扱う場合は、明示的な注釈が今でも最も安全です。
• 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。

現在の注意点

• units と quantity の構文は存在しますが、end-to-end の enforcement はまだ部分的です。
• 実際の挙動は、リポジトリ上のファイルだけではなく、使用している souc バイナリそのものに依存します。

このリポジトリで確認する

let count = 3
let ratio: f64 = 0.5
var total = count + 1

"$SOUC_BIN" check examples/hello.sio