I’m not sure I like the idea of adding static types to javascript. I’m ok with the idea of having the checker try to help you if it thinks there are problems (a warning) but augmenting the code with type hints seems a little gross to me. Just my first impressions..