So we have like Rust, maybe Gleam and maybe Elixir, Julia, maybe Racket? Zig possibly maybe but it feels hard to make a call there yet on quality... I can't really say many of the ML family of languages went anywhere (as much as I love and wish we'd see more dependent and linearly typed MLs).