What language eliminates the greatest number of different types of mistakes that human programmer make and different types of bugs that those mistakes cause?
👤 GianFabien Accepted Answer ✓
In theory Eiffel[1] merits consideration. But in practice does anybody use it?