6 ms·

Why do people do type testing?

• tel 13y ago
  It's not type "testing", it's using a strong, static type checking system before compilation as a testing measure. I.e., you never have to write code that asks about types, an automated program simply ensures that the types that your program expresses "make sense together". This is often conflated with type inference where the program code itself is analyzed in order to compute what type it "ought to be". Some combination of type checking and type inference is a powerful, fast, comprehensive tool for encoding how your program ought to behave alongside the program itself.
  • Skinney 13y ago
    Ahh ok. I know this, but got confused when type and testing was included in the same sentence :P