Test-Driven Development is widely accepted as good practice. But can we do better? By specifying your program's behaviour with types, you can go a very long way, with more confidence and with less hassle than with tests.
In this talk, Clément will show a new vision of types, explore the fundamental differences between specifying with types and specifying with tests. He'll talk about how types allow us to prove properties about our program and how genericity is a tremendously powerful tool for specification. He'll show means of reasoning based on types and assess specifically what it provides.
Lastly, Clément will show how to complement Type-Directed Development with Test-Driven Development to specify with tests what's left after laying out the types.
Very passionate about tech and development, he has co-founded Eklaweb, a sur-mesure dev company in 2009. He has gathered a team of engineers and taught them functional programming. He’s now an indepedendent consultant and works with several startups, such as Clever-Cloud, and Sounderbox.
Besides his work, he teaches computer programming at École Centrale de Nantes and IMIE (C, java, haskell, PHP, HTML/CSS, PL/SQL). He also teaches continuous integration and functional programming to Centrale Nantes students. He has created Nantes Functional Programming Groupand gives talks about functional programming.