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 ver

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.