What are your favorite statically typed, compiled, memory safe programming languages?

🦀

<?php
declare(strict_types=1)

😏 😁

🏃‍♂️💨

Rust

With no context, this could be an honest attempt to learn about different tools, a thinly veiled set-up to promote a specific language, or an attempt to stir up drama. I can't tell which.

It's curious how such specific conditions are embedded into the question with no explanation of why, yet "memory safe" is included among them without specifying what kind of memory safety.

Rust for now, by a wide margin. But I'm following other languages that I think have the potential to surpass it, including Vale (promises way more than it delivers currently), Koka, Hylo, maybe Lobster.

That is a very specific subset

As others have said, Haskell and Rust are pretty great. A language that hasn’t been mentioned that I REALLY want to catch on, though, is Unison.

Honorable mention to my main driver lately: Purescript

C# is good too. If you havent heard of lobster you should look into it.

Ada, hands down. Every time I go to learn Rust I'm disappointed by the lack of safety. I get that it's miles ahead of C++, but that's not much. I get that it strikes a much better balance than Ada (it's not too hard to get it to compile) but it still leaves a lot to be desired in terms of safe interfacing. Plus it's memory model is more complicated than it needs to be (though Ada's secondary stack takes some getting used to).

I wonder if any other Ada devs have experience with rust and can make a better comparison?

OCaml.

Hands down, Rust 🦀

Swift

Rust.

I started learning Go about 3 months ago and it quickly became one of my favorite languages. It feels like C with a bunch of Python niceties thrown in. And performance isn't super critical in my work so being garbage collected is fine with me.

People don't understand that JIT languages are still compiled, JIT literally describes when it's compiled.

That said, F# and/or OCaml.

Rust and Haskell (I think Haskell counts)

Scala 3 native. If the compiler was faster I'd be even happier. Curious to try Ada

Nim. Small compiler, small executables, easy to understand (except the macros, I still can't get my head around them).

FreePascal. Yeah yeah, Pascal's dead, etc etc, but it being so verbose and strict certainly help programmers (or at least me) keeping things somewhat tidy.

Also shoutout to V

Nim

After months of no practice, I forget quite a lot of stuff about them, regardless of language; therefore, none

EDIT: None of them is memory safe, that is

Crystal, but only because I’m a full time Ruby on Rails (and sometimes Hanami!) programmer.

It’s fantastic, and I had an excuse to use it at work when we needed to gather PHP Watchdog logs from a MySQL database and format, output them to STDOUT in a Kubernetes environment. (This was necessary for our log monitoring tools expecting data in a standard way, AKA not connecting to a database. 🤦‍♂️)

I know there are perhaps better options out there (Go, Rust, etc.) but from a Rubyist’s point of view Crystal gives you that “flow” from working in a beautiful language but with the performance boost of compiled software.

Java

Python with MyPy.

(Almost any language can meet those criteria, with enough shenanigans.)

You mean... except Ada?

Kotlin is nice

You forgot that beauty - "undefined behavior"!

Memory-safety can guarantee only so much safety! C++ can still blow up in your face, even with all the alleged memory-safety built into C++, thanks to all the UB traps in C and C++.

Rust is the closest language that has no such "gotchas".

purescript if you count “compile to js” as compiled.

Otherwise Haskell

C++ with -Wall -Werror, and no pointer diddling.

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.

D

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.

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.

Julia

Python

C is memory safe if you program it well enough, so I guess C