Ну вот
https://youtu.be/jnSHRPCTFPc
суть — ts позволяет допустить потерю типа при трасформациях, крутые либы типа lodash полностью на any
rescript (бывший reasonML) крут т.к. построен по спецификации ocaml-а но со скобочками.
Задело после постов про немерлю 10 лет и фичи шарп 10.
и это несмотря на наличие в дотнете окамла(фарш).
type driven design рулит.