On: The Styx Programming Language

[frodowtf]

I basically want Rust without the focus on memory safety.

As a business programmer, I don't want to think about whether something is stack or heap allocated. I just want explicit clones, immutability by default, the ecoysystem, the toolchain and dang I want sum types.

[pjmlp → frodowtf]

Besides OCaml, Standard ML, Scala Native, F# (with Native AOT).

[pkkm → frodowtf]

Take a look at OCaml, Kotlin, and F#. They aren't literally what you described, but they're close enough than I think you may find them useful.

[patrec → frodowtf]

Modulo eco-system, it's called Ocaml. And maybe the eco-system will still happen.