“BUILD STUFF” is a Software Development Conference for people who actually build stuff. We bring world-class speakers, letting them share about the latest developments, trends and innovations, as well as new directions in software development. Since launching in 2012, it’s really caught on quickly.

Recognized by developers from all over Europe, international Software Development Conference Build Stuff’15 Lithuania will feature 3 days (18-20 Nov’15) of conference sessions and 2 days (21-22 Nov’15) of workshops.

Back To Schedule
Friday, November 20 • 11:20 - 12:15
Amanda Laucher @pandamonial - Property Based Testing: Shrinking the Risk in Your Code

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Perhaps you’ve been hearing a lot about Haskell programmers being absolutely certain that their code is correct but you haven’t taken the leap into day to day Haskell development. Do not despair, there are techniques that can allow you to have confidence in your code without needing to change your development stack. In fact, you can use the same testing techniques Haskellers use without even using a language with a static type checker.

In this session we will be looking at Property Based Testing, and how this approach can allow us to avoid thousands of lines of testing code when ensuring that our code meets specification. Property Based Testing generates inputs based on the properties of the program that we stipulate, and so are based on the business logic, in the same way that types are. Furthermore, if the test fails, a good framework will shrink the problem to the smallest possible data set that gives an error, helping to pinpoint the bug. This session requires no previous knowledge of free-monads, co-products, or other terms you may have grown to hate. 

avatar for Amanda Laucher

Amanda Laucher

Graph databases expert, @pandamonial
Amanda Laucher has been working with technology her entire life. Some of her favorite childhood memories include working with punch cards alongside her grandmother or learning Morse code from her dad. Solving complex business problems with code is her passion, mostly using graph databases... Read More →

Friday November 20, 2015 11:20 - 12:15 EET
3. Lambda

Attendees (0)