Type systems

8 thoughts
last posted Aug. 30, 2013, 1:58 p.m.

2 earlier thoughts

0

Dynamic typing

Heterogeneous collections

Difficult to model with static type systems.

But what are they good for, really?

Unit testing

You have to write unit tests anyway, and they'll do the same correctness checking that the type system will, but why bother.

Documentation

Pretty much any serious Python project makes you document parameter and return types anyway.

Exceptions

I hated having to declare raised exceptions back when I wrote Java regularly. Now, I wonder. (And I have to document them anyway!)

Functional programming

Unquestionably easier with dynamic typing, because expressing the type of a function is often difficult (except in Haskell).

5 later thoughts