Type inferencing

• A downside of type systems is that the programmer has to write more “stuff”

• Type inferencing has the compiler compute what the types of the expressions should be

  • The programmer writes less down
  • The programmer has less to change when the program is modified
  • The programmer gets almost all the benefits of static typing

Previous slide

Next slide

Back to first slide

View graphic version