JavaScriptのスーパーセットで、静的型付け機能を追加した言語はどれか。

Reactなどのライブラリで使用される、JavaScript内にHTMLのような構文を書ける拡張はどれか。