Effective Haskell

Summary

In this chapter, you’ve seen how Haskell’s type system is integrated into the language. You’ve learned how to add type annotations to your own programs to help them be more readable and easier to use correctly, and you’ve learned how to use the type system to look up information about how functions work, and to troubleshoot your own programs using type holes. As you spend more time with Haskell, and improve your understanding of the type system and its capabilities, you will learn to see types as an invaluable tool to help you understand and express your code. Much of the rest of this book will be devoted to understanding how to best make use of Haskell’s type system to write effective and maintainable programs, and investing early in ...