John Hughes has been a functional programming enthusiast for more than thirty years, at the Universities of Oxford, Glasgow, and since 1992 Chalmers University in Gothenburg, Sweden. He served on the Haskell design committee, co-chairing the committee for Haskell 98, and is the author of more than 75 papers, including "Why Functional Programming Matters", one of the classics of the area. With Koen Claessen, he created QuickCheck, the most popular testing tool among Haskell programmers, and in 2006 he founded Quviq to commercialise the technology using Erlang.
Presentation: "The Joy of Testing"
Track: Functional programming
Time: Wednesday 15:00 - 16:00
Location: Rutherford Room
Pure functional programs are a joy to test, with no hidden state,unexpected side-effects, or non-determinism--and with testing toolsthat start from specifications and almost find your bugs for you!I'll talk about some of those tools, and their applications to testingboth functional software and non-functional applications such asgateways and base stations.
Keywords: TDD, automated testing, Erlang, property-based testing
Target audience: Those interested test-driven development andautomated testing in general.