型と推論

目次 · 初めて読むなら：入門ガイド

変数はcount: i32 = 10、関数の引数はcount: i32、戻り値は-> i32と書きます。ローカル変数の型は省略できますが、決まった型を再代入で変更することはできません。

count = 10はi64、rate = 1.5はf64です。型注釈がある整数literalはその範囲を確認します。現在の数値変換APIは、i8 / i16 / i32 / u8 / u16 / u32からの損失のないi64(value)と、i64から範囲を検査するi32(value) -> Result[i32, Error]です。任意型への汎用castはありません。

小数リテラルも、型注釈・引数・戻り値などで決まるf32またはf64の範囲を検査します。その型で無限大になる値は、型検査でエラーになります。

VS Code拡張では、変数名にマウスを置くと推論された型を確認できます。たとえばcountはcount: i64です。関数の引数やcaseの束縛名も対象です。エディターの操作例で試せます。

nullableはmissing: i64? = None、値がある場合はpresent: i64? = some(42)です。T?はOption[T]の短い表記ですが、現在はmatchや汎用unwrap APIはありません。空配列はvalues: List[i64] = []と型を指定してください。

関数の引数・戻り値・借用の書き方は文法、コピーとmoveの規則は所有権、各関数の対応する型は組み込み関数を参照してください。

関数を値として渡す

関数名を変数へ代入したり、別の関数へ渡したりできます。fn[i64, i64]は「i64を1つ受け取り、i64を返す関数」です。引数がない場合は、戻り値の型だけを書きます。たとえばfn[i64]です。

次をapp.nagiに保存してください。

def add_one(value: i64) -> i64:
    return value + 1

def apply(callback: fn[i64, i64], value: i64) -> i64:
    return callback(value)

def main():
    chosen: fn[i64, i64] = add_one
    print(apply(chosen, 41))

nagic run app.nagi

結果は42です。chosen = add_oneのようにローカル変数の型を省略しても推論されます。関数を返す場合は、たとえばdef choose() -> fn[i64]:と宣言します。

async関数もselected = answerのように代入して、async関数内でawait selected(...)と呼べます。async関数を受け取る引数や返す関数の型注釈にはまだ対応していません。ラムダ式や、周囲のローカル変数を取り込むクロージャも未対応です。

async関数を配列やclassへ保存することも未対応です。非同期処理を呼び出した戻り値をいったん変数へ保存する形式も使えません。pending = sleep(10)ではなく、await sleep(10)と呼び出してください。

未対応の型操作

Map[K, V]とowned[T]は型表記のみで、操作用のAPIは揃っていません。利用者が型引数を持つ関数を定義する機能や、traitは未対応です。

Rustでの表現

数値とboolはRustの同じ型、strはString、bytesとListはVec、sharedはArcへ変換します。viewは参照、nullableはOption、成功・失敗はResultです。詳しくはメモリの扱いを参照してください。

符号付き整数の最小値

i8の-128、i16の-32768、i32の-2147483648、i64の-9223372036854775808もリテラルとして直接書けます。たとえばminimum: i8 = -128です。指定した型の範囲を超えるリテラルは、型検査でエラーになります。