F# is the closest I've found. A pro/con of F# is the .NET ecosystem which has many C#-isms which both accelerate library development and detract from functional styles. - functional - type inference (but not so much to slow down compilation) - not too heavy on type abstraction - multi-threaded - local heaps for actors - cross-platform I'm also disappointed that Pony doesn't have as wide adoption as Rust or Zig.
Pony's a great language, but the implementation is badly managed. I.e. it's failed to gain adoption due to bad execution.
I kinda feel that it would have had a much better chance if it started in the US in industry rather than UK from an academic angle.