Learn Type-Driven Development: Benefit from type systems to build reliable and safe applications using ReasonML 3
Authors : Yawar Amin, Kamon Ayeva
In programming, types are used to express relationships and other assumptions directly in the code, and these assumptions are enforced by the compiler before the code is run. Type-driven development is an approach that uses a static type system to achieve results including safety and efficiency. One immediate benefit is reducing code errors.
This book covers how to use these type-driven techniques to help make JavaScript programs safer and faster, using the ReasonML syntax and family of tools.