> “And more often than we like to admit, the error messages a compiler will give us will decline in usefulness as the power of a type system increases.” Can so

> “And more often than we like to admit, the error messages a compiler will give us will decline in usefulness as the power of a type system increases.” Can someone explain this?