4 ms·

Such languages also allow you to write code much faster which can lead to more mistakes. Edit: huh. 2 downvotes. Why not explain why you think I'm wrong, rathe

• wladimir 14y ago
  You get downvotes because your reply contradicts itself. A safer language results in more mistakes being found at compilation time, so would result in less mistakes in the product, not more. Also I would expect having to specify annotations for your code to be verified (ie correct type specifications, pre/postconditions, contracts, carefully specifying program input/output through parsers, etc) results in slightly slower pace of development, not faster. But I suppose if you make up more than that time in debugging and troubleshooting time, or time explaing awkward bugs to annoyed customers, it's still a win.
  • kaolinite 14y ago
    Compilers can't detect logic errors which tend to be more common with faster development.
    • wladimir 14y ago
      If even true, that's besides the point. How did 'faster development' get into your reasoning at all?
    • DanWaterworth 14y ago
      Unless your language is dependently typed.