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

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
9 Views
This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019

Get involved in Lambda Days' next conference http://www.lambdadays.org

---

BUILDING ON DEVELOPERS' INTUITIONS TO CREATE EFFECTIVE PROPERTY-BASED TESTS
by John Hughes

THIS TALK IN THREE WORDS:
QuickCheck, testing, property-based testing, Haskell

TALK LEVEL:

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: http://www.lambdadays.org/lambdadays2019/john-hughes

---

THE SPEAKER - JOHN HUGHES
Life is too short for imperative programming!

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: http://www.lambdadays.org/lambdadays2019/john-hughes

---

CODE SYNC & CODE MESH LDN 18
Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber.

LAMBDA DAYS
Website: http://www.lambdadays.org
Twitter: https://twitter.com/LambdaDays
Facebook: https://www.facebook.com/lambdadays
LinkedIn: https://www.linkedin.com/company/lambda-days/
Mail: info at lambdadays.org

#LambdaDays
Category
Lambda Days 2019

Post your comment