Pareto Optimal Dev

Static type systems should be the default in computer programming