You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Binary AST could hold additional type information for variables, parameters and return types. This can help VMs do some optimizations ahead of time. Of course types should be statically validated but potentially this static analyse could be done by the same toolchain as used for binary AST creation. Was this idea considered?
The text was updated successfully, but these errors were encountered:
I've had this on my mind. Not in terms of some explicit support for type-annotations, but rather some generic facility for annotating the AST in-line with extension attributes.
These could be used to associate various pieces of information that could be used by tooling (stripped before release), and allow for a simple and straightforward processing of a single data structure across a variety of transformations and annotations.
You could do type annotations, in-line source-notes (for debug builds, reducing workflow complexity and number of artifacts), or any other arbitrary data.
Now, whether it's feasible in practice or not is something that requires careful consideration. I can sense some of the counter-arguments that might be made (e.g. possibility of hidden payloads in BinAST files, security issues, etc.). It's a good idea but it needs to be thought about carefully.
Binary AST could hold additional type information for variables, parameters and return types. This can help VMs do some optimizations ahead of time. Of course types should be statically validated but potentially this static analyse could be done by the same toolchain as used for binary AST creation. Was this idea considered?
The text was updated successfully, but these errors were encountered: