sakno / asyncscript Goto Github PK

Add support for complex expressions, for example:
var a = { const input = gets(); leave parse(input, integer, void); };

Create image content for home page.

In some cases, expression with $ operator produces more MSIL instruction that is necessary. For example,

${{a: integer}}

produces a new complex object and invokes GetContractBinding on it. This semantics is equivalent to inline construction of ScriptCompositeContract internal object.

Complete unit tests

Cover expression tree operations with unit tests.

Cover union, intersection and complementation of contracts with unit tests.

There are no difference between object syntax and complex expression. Therefore, I modify syntax of object expression, for example: const b = {{a = 2, b = 3}};

Static deduction allows to deduce quoted expression and produces a new lambda:

const a = @@i: %%3 -> %%3: i + %%0 * %%1;
var b = expandq a(5, -10, integer); //equivalent to var b = @i: integer -> integer: i - 50;

Full coverage of arithmetic operations, including checked and unchecked contexts.

Covers all script operations associated with actions.