If this looks interesting to you, you may enjoy OCaml or F#, both of which are ML variants with modern compilers and tooling available. OCaml compiles to stand

If this looks interesting to you, you may enjoy OCaml or F#, both of which are ML variants with modern compilers and tooling available. OCaml compiles to standalone binaries, F# is a Microsoft language that compiles to .NET bytecode. I've found F# to be a joy to program in. Also Rust and Swift and influenced by ML.