Before compile, we have to do these optimize:
- Transform IL to Blocked Instruction List - every block start from label (static/string label or dynamic/natural label)
- Use StateMonad
RuntimeContext (Option Label) for lambdas
- Wrap lambdas by custom continuation.
Required:
Before compile, we have to do these optimize:
RuntimeContext (Option Label)for lambdasNoneis next blockRequired: