/ elang / grammar

Lexical Grammar

Identifiers & Keywords

Keywords in Use:

• begin
• catch
• class
• def and def
• define and define
• delegate
• else
• end
• escape
• finally
• for
• if
• in
• match and match
• meta and meta
• switch
• to
• try
• while

Reserved Keywords

• abstract an as behalf belief believe believes bind
• case const constructor
• default defmacro deprecated dispatch do
• encapsulate encapsulated encapsulates
• ensure enum eventual eventually export extends
• forall function given hidden hides
• implements interface is
• know knows let method methods native obeys on
• package private protected public require
• sake static struct suchthat synchronized
• this throws transient typedef
• unum uses virtual void volatile

Punctuation

Operators

• expr \n
  expr
• expr ; expr

• lval := expr
• define patt := expr
• expr || expr
• expr && expr

• expr == expr
• expr != expr
• expr | expr   and   lval |= expr
• expr ^ expr   and   lval ^= expr
• expr =~ patt
• expr !~ patt

• expr & expr
• lval &= expr
• & varName (as expr)
• & varName (as pattern)

• expr < expr
• expr <= expr
• expr >= expr
• expr > expr

• expr .. expr
• expr ..! expr

• expr << expr   and   lval <<= expr
• expr >> expr   and   lval >>= expr

• expr + expr    and   this           and   lval += expr
• expr - expr    and   - expr        and   lval -= expr

• expr * expr    and   lval *= expr
• expr / expr    and   lval /= expr
• expr // expr   and   lval //= expr
• expr % expr    and   lval %= expr
• expr %% expr   and   lval %%= expr

• expr ** expr    and   lval **= expr

• ! expr
• ~ expr

Other Punctuation

• "<-" eventually
• "=>" maps to
  Used to make maps, and to enumerate collections.
• "::" audited by
• ":" holds (when used for variable declaration)
  Used to declare variables, and for calculated URI expressions.
• "[" "]" list of, map of
  Used to make lists and maps, to match lists, and to index into collections
• "(" ")" grouped, args, parameters
• "{" "}" scoped
• "?" such that
• "," comma
• "_" don't care

Literals

LiteralData

QuasiLiterals

URILiterals