NEPLg2 Tutorial - 02 - 数値と変数
Web Playground
Web Playground

数値すうちと変数へんすう

NEPLg2 では演算も前置記法で書きます。
core/math を import すると add や add などを利用できます。

前置記法の基本

TEST
#entry main
#indent 4
#target std

#import "core/math" as *
#import "core/result" as *
#import "std/test" as *

fn main <()*>i32> ():
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_eq_i32 6 add 1 5
        |> checks_push check_eq_i32 5 sub 8 3
        |> checks_push check_eq_i32 42 mul 6 7
        |> checks_push check_eq_i32 4 div_s 9 2
    let shown <Vec<Result<(),str>>> checks_print_report checks;
    checks_exit_code shown
ret0

複合式と「優先順位」の考え方

NEPLg2 では中置記法のような優先順位（* が + より先など）を前提にしません。
代わりに、**関数名が先にあり、必要な引数個数を左から順に取る** ことで式が決まります。

  • mul add 2 3 sub 10 4 は

- mul (add 2 3) (sub 10 4) と同じ
- 5 * 6 = 30

  • sub mul 5 add 1 1 3 は

- sub (mul 5 (add 1 1)) 3 と同じ
- 10 - 3 = 7

TEST
#entry main
#indent 4
#target std

#import "core/math" as *
#import "core/result" as *
#import "std/test" as *

fn main <()*>i32> ():
    let left_a <i32> add <i32> 2 <i32> 3
    let right_a <i32> sub <i32> 10 <i32> 4
    let a <i32> mul left_a right_a
    let inner_b <i32> add <i32> 1 <i32> 1
    let left_b <i32> mul <i32> 5 inner_b
    let b <i32> sub left_b <i32> 3
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_eq_i32 30 a
        |> checks_push check_eq_i32 7 b
    let shown <Vec<Result<(),str>>> checks_print_report checks;
    checks_exit_code shown
ret0

変数定義（let）と型注釈（<T>）

let name <type> expr の形で定義できます。
型注釈 <i32> は式に前置される点が NEPLg2 の特徴です。

TEST
#entry main
#indent 4
#target std

#import "core/math" as *
#import "core/result" as *
#import "std/test" as *

fn main <()*>i32> ():
    let a <i32> 10
    let b <i32> 32
    let c <i32> add a b
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_eq_i32 42 c
    let shown <Vec<Result<(),str>>> checks_print_report checks;
    checks_exit_code shown
ret0

可変変数（let mut / set）

let mut で再代入可能な変数を作り、set で更新します。

TEST
#entry main
#indent 4
#target std

#import "core/math" as *
#import "core/result" as *
#import "std/test" as *

fn main <()*>i32> ():
    let mut x <i32> 1
    set x add x 4
    set x mul x 3
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_eq_i32 15 x
    let shown <Vec<Result<(),str>>> checks_print_report checks;
    checks_exit_code shown
ret0

注意: i32 のオーバーフロー

Wasm の i32 演算は wrap-around です。
2147483647 + 1 は -2147483648 になります。

TEST
#entry main
#indent 4
#target std

#import "core/math" as *
#import "core/result" as *
#import "std/test" as *

fn main <()*>i32> ():
    let x <i32> 2147483647
    let y <i32> add x 1
    let checks <Vec<Result<(),str>>>:
        checks_new
        |> checks_push check_eq_i32 -2147483648 y
    let shown <Vec<Result<(),str>>> checks_print_report checks;
    checks_exit_code shown
ret0