the types were discarded when building the matchless AST.
To generate monomorphic code, that seems like it was a mistake. We don't need it to generate python, js, or similar untyped dynamic languages, but efficient generation of C, Rust, Go, Java, ... would benefit from having the types.
johnynek
commented
3 years ago
the types were discarded when building the matchless AST.
To generate monomorphic code, that seems like it was a mistake. We don't need it to generate python, js, or similar untyped dynamic languages, but efficient generation of C, Rust, Go, Java, ... would benefit from having the types.