Problem 11 - Languages

Discuss the following issues on type systems for programming languages, both from the viewpoint of software development (debugging, software reusability, etc.) and from that of the program execution speed.

1.

Static type systems (like those of ML and Pascal) vs. dynamic type systems (like those of Lisp and Scheme).

2.

Static polymorphic systems (like those of ML and Haskell) vs. static monomorphic type systems (like those of Pascal and C).

See [PAU96] for a detailed answer.