[jdeisenberg]

You might want to look into ReScript (https://rescript-lang.org/). It has strong static typing with type inference, and it is very fast.

[arp242]

Yep, Rescript is nice, but also comparatively obscure. It's okay for personal projects; in company setting: maybe? It's certainly more complex.