This might be a very "out there" feature request and I doubt that will be accepted but just wanted to have a discussion.
Typescript is the de-facto standard for writing large javascript applications which must be transpiled to JS, often losing context and guarantees.
While many of the types by Typescript can be a lie most of the time they are not and they can be a hint for early codegen, and some invariants can assured.
This might be a very "out there" feature request and I doubt that will be accepted but just wanted to have a discussion.
Typescript is the de-facto standard for writing large javascript applications which must be transpiled to JS, often losing context and guarantees.
While many of the types by Typescript can be a lie most of the time they are not and they can be a hint for early codegen, and some invariants can assured.