For many people, their first (and only) experience of static types is being continually told off by their compiler. With a little gentle encouragement, it is possible to mend this dysfunctional relationship and move towards having a conversation instead.
In this talk I’ll demonstrate typed holes, which are a feature of some languages that allow them to offer suggestions when you ask for help!