> Today, because programmers are delightfully spoiled by a wealth of nice, expressive type systems, I think they won't settle for simple and sound. To me that

> Today, because programmers are delightfully spoiled by a wealth of nice, expressive type systems, I think they won't settle for simple and sound. To me that basically describes Go's type system. Very simple, allowing my brain to grok it, and part of what allows for Go's fast compile times. I'm not entirely sure what's meant by "sound", however. Safe? What kind of safe?