Lightning Talk: Moving Towards Dialogue: Collaborating with your Computer Using Typed Holes!

Please log in to watch this conference skillscast.

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, Vaibhav will demonstrate typed holes, which are a feature of some languages that allow them to offer suggestions when you ask for help!

YOU MAY ALSO LIKE:

• I Haskell a Git (SkillsCast recorded in October 2018)
• Theorems for Free (SkillsCast recorded in November 2020)
• Comparing Strict and Lazy (SkillsCast recorded in November 2020)