A static type system is a wonderful message to the present and future

productiverage.com