Notable quotes from the interview
"A (static) type system is like Napoleonic law - it arrests you because you can't prove you are innocent"
"(static) type systems are mainly good for documentation - the idea that they make your programs more reliable is a myth"