3 ms·
Ask HN: What is the safest programming language?
What language eliminates the greatest number of different types of mistakes that human programmer make and different types of bugs that those mistakes cause?
- themerone 2y agoThis 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.
- gcau 2y agoThis is a really dumb answer.
- pestatije 2y agoyou want to have a look at 4GL languages[3] (or even 5GL) [3] https://en.wikipedia.org/wiki/Fourth-generation_programming_language https://en.wikipedia.org/wiki/Fourth-generation_programming_...
- GianFabien 2y agoIn theory Eiffel[1] merits consideration. But in practice does anybody use it? [1] https://en.wikipedia.org/wiki/Eiffel_(programming_language) https://en.wikipedia.org/wiki/Eiffel_(programming_language)
- az09mugen 2y agoThat'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.