3 ms·

You've completely missed the point: A powerful static type system helps prevent many types of logic bugs. No, it won't prevent every conceivable bug or error,

• belorn 5y ago
  In almost 20 years of writing programs I have yet to write a delete function that dynamically call delete based on the object type. Having a delete_supplier() function that assumes Supplier object is a pattern that has direct security issue baked in. The closest I would ever have gotten to the above scenario would be the time when I wrote an array of function pointers to be called in a parallel process. A bit of rather complex C code, and if I recall a bunch of void pointers. If you intend to provide examples or bugs being caught with type checking, it would be useful if those examples actually occurred and were caught by the type checking.
  • scrollaway 5y ago
    You sure seem to be thinking about types a lot for somebody who claims to not have to think about types. Which is the entire point everybody is trying to make you understand.
    • belorn 5y ago
      You seems to insist on that a lot, but can't seem to show it.