Maksim Volkau

Add conversion from the System Expression to the Light Expression to allow hoisted system expression embedding in the larger light expression

3

Has a different goal than the #259

It is required to support "static" delegates for the expressions with the Blocks, Trys, Gotos, e.g. in the case of `FastCompileToIL`.

Start from the #179 and the `CompileFastToIL`.

Reuse the local variables where possible

1

- Reuse the temporary locals - Reuse the closure bound locals Related: https://github.com/dadhi/DryIoc/issues/211

Optimize OpCode.Ceq plus Branch into a single compare-and-branch

1

Compare the IL code of the system compilation vs the FEC in the biggest test for #261

Support compilation without closure collection phase for expression with nested lambdas

1

Related to - https://github.com/dadhi/DryIoc/issues/211 - https://github.com/dadhi/DryIoc/pull/268 Currently, FEC has a `TryCompileWithPreCreatedClosure` method with limited functionality without nested lambdas support. We may enable it so that big and deep expressions may...

Considering that ClosureInfo is something used for compilation only and then we do not need it, we may as well return it to the pool.

Currently, FEC is visiting the expression tree 2 times: - 1st is to collect the constants to construct the closure object (and also find the nested lambdas) - 2nd is...

[Idea] Generate random expression trees for test

1

Use property-based testing or similar (FsCheck, Expecto, other?) to generate random trees, compile and assert.