105
What are your favorite statically typed, compiled, memory safe programming languages?
(programming.dev)
C++ with -Wall -Werror, and no pointer diddling.
this post was submitted on 05 Oct 2024
105 points (94.9% liked)
Programming
17768 readers
690 users here now
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
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 2 years ago
MODERATORS
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 on Morello (or any other capability machine).
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.
load more comments
(4 replies)
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.