@dave_andersen@grimalkina Incidentally, I find ML just basically the most elegant language I've ever used*. Also if the goal is to learn, many modern languages (Rust, Swift) are ML descendants, and Haskell is basically ML But It Goes Twice As Far, so learning an ML puts you in a good place.
Specifically SML/NJ is my favorite; OCaml has some slightly kludgier elements but also is nearly the same language and OCaml is better supported these days and has "Merlin", so OCaml is better to learn.