[bcherny]

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.