Designing with types #01: Introduction

I’m starting a blog and this is my first article. It’s the first introductory part of a series of articles about designing with types. The idea behind this series is to provide some practical guidance on using types to create more robust and readable code. Constructive feedback is very welcome!