Ideas

Ideas

Guard syntax & explicit wait

Haskell-like guard syntax for conditions and explicit wait (conditions must be exhaustive, conditions previously omitted must be marked with wait):

  p | state = :up -> { state = :down }
    | else        -> wait

Typeof operator

Typeof operator to make writing action parameters easier:

server bool {
    var val : {true, false};

    { set(new_val : typeof(val)) } -> { val = new_val }
}