Ask HN: What is the safest programming language?

In theory Eiffel[1] merits consideration. But in practice does anybody use it?

[1] https://en.wikipedia.org/wiki/Eiffel_(programming_language)

That's nice to hear again from Eiffel, it's been a long time since I tried it. Among other things, the design by contract is a cool feature. But as you said, there is not a lot of adoption. This language deserves more attention than, let's say Odin for example. Even it is more an "academic language" like Haskell.

This is a really dumb question that will get you a lot of subjective answers.

Nothing protects you from logic bugs, but design by contract can help reduce undefined behavior.

This is a really dumb answer.

you want to have a look at 4GL languages[3] (or even 5GL)

[3] https://en.wikipedia.org/wiki/Fourth-generation_programming_...