I just found this link https://labs.ig.com/static-typing-promise Clojure seems to be the best followed by Go, both designed to be simple