Typing (1)

• Static explicit classical typing (since Algol)

  • pros: tight checking, simple
  • cons: verbose (esp. for iteration variables)

• Dynamic

  • pros:
    • flexibility, expressivity (remove/create function/method at runtime)
  • cons:
    • nearly no verification at compile-time (-Wall, use strict usually available but half-baked solutions)
    • runtime cost

Notes: