Brief Table of Contents
Chapter 1. Introduction to typing
Chapter 6. Advanced applications of function types
Chapter 8. Elements of object-oriented programming
Chapter 9. Generic data structures
Chapter 10. Generic algorithms and iterators
Chapter 11. Higher kinded types and beyond
Get Programming with Types now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.