パラメーターと引数

Mojo の関数は 2 種類の入力を受け取れます。コンパイル時に決まるパラメーターと、実行時に決まる引数です。この違いを知ることが重要です。

引数は、プログラムの実行時に渡す通常の値です。実際の数値は、関数を呼び出すたびに変わる可能性があります。

パラメーターは、プログラムの実行前にコンパイラーがすでに認識している値です。固定され、生成されたコードに直接組み込まれます。⚙️

Mojo では見た目にも区別されます。パラメーターは角かっこに入れ、引数は使い慣れた丸かっこに入れます。

repeat[count: Int](msg: String) では、count はコンパイル時に設定され、msg は実際に呼び出すときに後から渡されます。

コンパイル時とは、Mojo がコードを変換するタイミングであり、実行よりずっと前の段階です。パラメーターはこの早い段階で決まります。

コンパイル時の値と実行時の値を分離すると、実行時にはできない方法でコンパイラーがコードを特殊化・最適化できます。

呼び出し箇所でパラメーターを角かっこに入れて指定します。引数はその直後の丸かっこに入れて渡します。

パラメーターの値はコンパイル時定数でなければなりません。プログラムの実行中に計算した数値を渡すことはできません。

組み込みのSIMD型は、要素型と幅をパラメーターとして受け取り、その内部に実行時の値として実数を保持します。

2 つのスロットを思い浮かべてください。角かっこのスロットはコンパイル時の情報、丸かっこのスロットは実行時のデータ用です。Mojo は両者を大きく異なるものとして扱います。

違いを学びました。パラメーターは角かっこに入れるコンパイル時の値で、引数は丸かっこに入れる実行時の値です。この分離が Mojo の速度を支えます。🎯