u/vaibhavsagarin r/haskell • Recommends
Moving Towards Dialogue: Collaborating with your computer using typed holes!
0:00 / 0:00
#typedholes#haskell#statictypes
Moving Towards Dialogue: Collaborating with your computer using typed holes! by Vaibhav Sagar
Confreaks
42K subscribers • 83 videos on Hallway • Conference channel
- Recommended by 1 person: 1 in engineering communities.
- Presented by Vaibhav Sagar
Intermediate. Assumes working knowledge.
1.2K views8 years ago1 recommendation
Programming languagesHaskellLanguage design and type systems
Vaibhav Sagar demonstrates how typed holes in Haskell can turn compiler errors into a helpful dialogue for writing code.
Moving Towards Dialogue: Collaborating with your computer using typed holes! by Vaibhav Sagar 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!Why it's here
1 person recommends thisWhat people say. Recommended as a great introduction to using typed holes for interactive development in Haskell.
u/vaibhavsagarin r/haskell • Mentions
On “What about the Haskell experience should impress developers unfamiliar with the language?”
Typed holes!