Il y a le Haskell qui est un très bon langage compilé statiquement avec aucune exception au runtime mais bon, c’est assez compliqué de s’y mettre.

Dans le même style (même syntaxe, mêmes garanties…) mais qui compile vers du JavaScript il y a PureScript. Du coup c’est utilisable en ligne de commande et en web.