purescript if you count “compile to js” as compiled.
Otherwise Haskell
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Follow the wormhole through a path of communities !webdev@programming.dev
purescript if you count “compile to js” as compiled.
Otherwise Haskell
Elm, which is the loveliest language ever.
But I'm not sure if compiles to javascript counts as compiled, in which case haskell, which is considerably less lovely but still good.
Roc isn't finished, but it might turn out lovely, I don't know.
Transpiles :)
D
Scala is the the first I used and I like it a lot. If I had more time I'd love to give ocaml a decent try but I don't think I can get into it these days.
C++, with some Skill
/s
but seriously, I don't know any language with a good, C/Cpp-like Syntax (so not Rust), with a good compiler (again not Rust). So I'm sticking to Cpp.
What's so bad about the Rust compiler? I know it's slow, but given all the analysis it's doing, it makes sense. And, from my own experience, setting correct optimization levels for dependencies along with a good linker makes incremental builds plenty fast.
C on Morello (or any other capability machine).
Julia
I wouldn't consider Julia statically-typed; am I wrong?
It's actually optionally-typed. But if you're liberal with type annotations you can treat it as statically typed.