Talks I've Given
Lightning Talk: Moving Towards Dialogue: Collaborating with your Computer Using Typed Holes!
Featuring 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.compiler-assisted-programming program-synthesis types tests idris haskell typed-holes