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 syste

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"