Digging through the Julia AST docs I’ve got curious how far we can go with the lowered code representation. In particular:
- Can we evaluate
CodeInfoobject as a whole?
- Can we evaluate each its expression (in
.codefield) step by step?
- Can we run type inference and/or compile
CodeInfoobject into a callable object (e.g. a function)?
I did all of these extensively in Espresso.jl for surface AST, but it has its drawbacks, so I’d like to know what I can do with the lowered version.