I wish someone would go back and give love to Standard ML. it such a great language, small, and easy to learn, extremely fast, compiles fast, and expressive to boot.

It's tooling isn't great though. I think its syntax is a lot nicer than OCaml's for example.

There is this wonderful language that is up and coming called Roc that look promising.

https://www.youtube.com/watch?v=6qzWm_eoUXM

language examples here -> https://www.roc-lang.org/tutorial