When someone asks me why I prefer static type systems