John Hughes - Building on developers' intuitions (...) | Lambda Days 19

John Hughes explains how to use developers' intuitions to build effective property-based tests and introduces new features in Haskell QuickCheck.

This video was recorded at Lambda Days 2019 lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference lambdadays.org --- BUILDING ON DEVELOPERS' INTUITIONS TO CREATE EFFECTIVE PROPERTY-BASED TESTS by John Hughes ABSTRACT Property-based testing is increasingly popular, yet the properties that developers write are not always effective at revealing faults. Developers often don't notice this, because it’s impractical to inspect all the generated tests. But they DO have intuitions for tests they would like to run. Many try to generalize these into properties, but this works poorly. In this talk, I’ll show another way to use those intuitions to build effective properties cheaply. I'll also show new features in Haskell QuickCheck that support this way of working. Read the full abstract: lambdadays.org/lambdadays2019/john-hughes --- THE SPEAKER - JOHN HUGHES Co-Designer Of Haskell And Quickcheck 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. More on John Hughes: lambdadays.org/lambdadays2019/john-hughes --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: lambdadays.org Twitter: twitter.com/LambdaDays Facebook: facebook.com/lambdadays LinkedIn: linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Haskell #QuickCheck #testing