Wow, this is seriously impressive work, if it really works as well as the code examples make it seem. Many of these ideas I have not seen in other JS typechecke

Wow, this is seriously impressive work, if it really works as well as the code examples make it seem. Many of these ideas I have not seen in other JS typecheckers: - Inferred generics that work - Effect tracking - Prepack-style AOT evaluation, but for typechecking - JSX built in, with proper inference - Using a typechecker to reduce the amount of work React needs to do (!!!) - Using a typechecker to make SSR more efficient - … These are super interesting and very novel. I hope to see this open sourced soon —- curious if this kind of approach will work at scale.