>>13
Static typing means less runtime errors
It catches only naive errors, like mistyped identifier names. Unit tests will catch them as well.
all identifier names and type resolutions are evaluated at compile time.
Inconvenient as it prevents late-binding and interactive development.
Static typing is fast, as it doesn't have to do string compares and associative hash map lookups at runtime.
Premature optimisation is the root of all evil. Besides, Common Lisp is fast enough, even if you use only lists. And Lists can handle anything with easy. Why defining
struct Verbose {int crap; float more crap;}; when you can just
(list 123 0.5)???
Static typing is superior to dynamic typing.
Dynamic typing is for toy languages and shell scripting replacement languages.
No. It isn't.