Programming with Types and Values

In the previous chapter, we looked at type-driven development using ReasonML, but what are types exactly? And how do they interact with other parts of your program? How do they help you on a regular basis, and what does it look like to use a strong static type system with type inference?

In this chapter, we will cover the following topics:

• Setting up an editor workflow
• Types and values
• Immutable values and memory
• Static versus dynamic typing
• Type erasure
• Syntax errors
• Type errors and inference
• Unification