Learn Type-Driven Development

With Learn Type-Driven Development, employ static typechecking and genericity to promote code reuse and consistency. Understand functional programming which is the foundation of type-driven development. (Limited-time offer)

Book Description

Topics included: Starting Type-Driven Development • Programming with Types and Values • Packaging Types and Values Together • Grouping Values Together in Types • Putting Alternative Values in Types • Making Types That Can Slot into Any Other Type • Making Types That Represent Operations • Reusing Code with Many Different Types • Extending Types with New Behavior • Bringing It All Together.

Download Free PDF / Read Online