Summary

In this chapter, we covered a lot of ground, including setting up an editorial workflow, learning about types and values, static and dynamic typing, Reason's separation between compile time and runtime and its type erasure, syntax, and type errors, as well as inference and unification.

In future chapters, we will build on this chapter and introduce many more static typing techniques and the potential type errors that we may see from using them.