TDD as in Type-Directed Development

Excellent talk!

funny and interesting
not too heavy. good ending keynote

Awesome slides, domain modelling, entertaining presentation, property based testing, practical applications of propostions as types… I lost track of the good stuff in this talk and again, it’ll be well worth grabbing a copy of the video to show to non-functional programmers to explain why we rant about all these things. Clément Delafargue rounded out my day nicely.

Please let us know where you got all those GIFs!! Excellent talk, I like the stress about type safety and letting the type system help us. Go ahead.

Extraordinarily funny slides... sometimes to the detriment of the presentation content.
It was a pretty decent collection of good practices to use in Scala by leveraging the type system.
I must admit that after a day of haskell and abstract math, scala looked pretty clumsy and hard to read, and the day's weariness was starting to show.

Possibly a bit low level and detail-rich. I'd have enjoyed a better wrap-up as a conclusion.