Cheat sheet

42          -7           3.14        -2.5e10
`text\n`    T   F                          // string, true, false

: i n 0          // let, explicit type
: ~ i x 0        // mutable
: total ( f )    // inferred
= x 5            // reassign (x must be mutable)

@ add i a i b → i { ^ + a b }     // declare
( add 1 2 )                        // call — always parenthesized
: (@ i i) sq \ i x → i { * x x }  // closure literal

+ - * / %        < > <= >= == !=        << >>
& |  (bool or bitwise)     ^^ (xor)     && || (strict bool)
! expr    (not)      ~ expr  (complement)
^ expr    (return)   \ expr  (try-propagate)
# type expr   (cast)          Z type   (sizeof)

? cond then else                  // ternary
~ cond { body }                   // while
~ item collection { body }        // foreach
?? expr { Variant x → ... _ → ... }   // match, exhaustive

: Point { i x  i y }
@ Point { 1 2 }                       // construct
. p x                                 // field access

: | Shape { Circle f  Rect f f }
?? shape { Circle r → ... Rect w h → ... }

@ ?T { T v }   @ ?T { F 0 }        // Option: Some / None
@ !T E { T v }  @ !T E { F e }     // Result: Ok / Err
: x \ ( might_fail )                // try-propagate, returns early on failure
( opt_expect o `msg` )  ( res_expect r `msg` )   // unwrap or panic

$ `stdlib/core/string.nu`
$ `stdlib/std/vec.nu` v          // aliased import
( v::vec_new [i] )