Following my tirade against python last week, I thought I’d say a bit more about why types are important in programming, and why it might be good to have more of them.