Gramática — Expressões

ternario      = coalesce [ "given" expressao "otherwise" expressao ] ;

r := "par" given 4 % 2 is 0 otherwise "impar"

coalesce      = logico_ou { "??" logico_ou } ;

v := {}
x := v["k"] ?? 0

comparacao    = soma [ ( "is" | "isnt" | "bigger" | "smaller" | "bigger_eq"
                      | "smaller_eq" | "in" | "not" "in" ) soma ] ;

x := 3 bigger_eq 2

soma          = produto { ( "+" | "-" ) produto } ;
produto       = unario { ( "*" | "/" | "%" | "~/" ) unario } ;
unario        = ( "-" | "+" ) unario | potencia ;
potencia      = posfixo [ "**" unario ] ;

x := -2 ** 2 + 7 ~/ 2

lambda        = "lambda" [ parametros ] ( ":" | "=>" ) expressao ;

f := lambda x: x * 2
g := lambda a, b => a + b

pipeline      = ternario { ">>" operacao } ;
operacao      = "sift" nome ":" expressao | "morph" nome ":" expressao
              | "distill" nome "," nome ":" expressao expressao
              | verbo_de_quadro ;

t := [1, 2, 3] >> sift n: n bigger 1 >> morph n: n * 10 >> distill a, v: a + v 0

compreensao   = "[" expressao "cycle" nome "in" expressao [ "given" expressao ] "]" ;

q := [n * n cycle n in [1, 2, 3] given n bigger 1]

cluster       = "[" [ item { "," item } ] "]" ;
vault         = "{" [ chave ":" expressao { "," chave ":" expressao } ] "}" ;
tupla         = "(" expressao "," [ expressao { "," expressao } ] ")" ;
item          = [ "..." ] expressao ;

xs := [1, 2]
ys := [...xs, 3]
v := {"a": 1}
t := (1, "a")

conjunto      = "{" item { "," item } [ "," ] "}"
              | "{" expressao "cycle" nome "in" expressao [ "given" expressao ] "}" ;
vazio         = "set" "(" [ expressao ] ")" ;

cores := {"azul", "verde", "azul"}
pares := {n * n cycle n in [1, 2, 3]}
nenhum := set()

posfixo       = primario { "." nome | "?." nome | "(" argumentos ")"
                         | "[" indice "]" } ;
indice        = expressao | [ expressao ] ":" [ expressao ] [ ":" [ expressao ] ] ;

xs := [1, 2, 3]
out xs[1:3], xs[::-1]
o := void
out o?.nome

copia         = expressao "with" vault ;

record P:
    x: Integer
p := P(1)
q := p with {"x": 2}

spawn         = ( "spawn" | "forge" ) nome "(" [ argumentos ] ")" ;

blueprint B:
    x := 1
b := spawn B()
c := forge B()

logico_ou     = logico_e { "or" logico_e } ;
logico_e      = negacao { "and" negacao } ;
negacao       = "not" negacao | comparacao ;
booleano      = "yes" | "no" | "void" ;

out yes and "segundo", 0 and 9, not no

conversao     = "cast" expressao "as" tipo ;
tipo_de       = "typeof" "(" expressao ")" ;

out cast "42" as Integer, typeof([1])