macro @if (cond, e1, e2)
syntax ("if", "(", cond, ")", e1, Optional (";"), "else", e2)
{
  /*
    <[ ]> // <[ ]> определяет области квазицитирования, код внутри них преобразуется в AST Немерле,
          аналогично преобразованию кода в Expression компилятором C#
  */
  <[
    match ($cond : bool)
    {
      | true => $e1
      | _ => $e2
    }
  ]>
}
 
// Вышеприведённый макрос вводит в язык конструкцию if,
def max = if (a > b) a else b;
// которая при компиляции раскрывается в
def max = match (a > b)
{
  | true => a
  | _    => b
}