[schrodingerscow]

IMHO swift has one of the most beautiful type systems and is more high level than rust. Of course youre limited on what platforms you can use it with but server side swift is getting a lot more attention. Kotlin is pretty comparable though so maybe that’s your best bet. Haskell is also great but if you want the slightly more imperative style then I think kotlin or swift are the best fits. I find all to be the times I have the most fun programming. You can also get part of the way there with typescript and the fp-Ts ecosystem but of course the type system has a lot less overlap with rust