Static vs. dynamic typing
Static typing
- Check for type safety statically (at compile time)
- Impossible for some aspects
- Ex: array bounds (value vs. type checking)
- Ex: ML, Haskell, Java, C/C++, Pascal, Fortran
- At least they think they know the types
Dynamic typing: not static
- Scheme, Smalltalk, Prolog
- Some are mixed (static/dynamic): CLU, Cecil