On: Impressions of Go

[Peaker]

ML-style languages go much further with this, while also having richer type systems that both let you write code more easily and do more compile-time safety verifications.