Presentation
Writing unit tests is pretty much established practice and in addition to that, property testing has caught up on popularity. Most functional languages have one, sometimes even many implementations. But "property testing" has a lot of aspects: randomized or exhaustive, minimization and generalization of counter examples, custom generators and filters, to name a few. Very often, property tests don't exploit all the features of the framework.
In this talk, I'll give an overview of the state of the art of property testing in $X and show some common use cases, techniques and pitfalls.
Lars is a PhD student in Munich, Germany, working in the area of theorem proving. He has been using Scala for quite a while now, and is known as one of the founders of the typelevel initiative which is dedicated to providing principled, type-driven Scala libraries. He also talks about Haskell and Isabelle a lot.
flatMap(Oslo) - A functional programming conference, with focus on Scala and the Java Virtual Machine.
On the 27th and 28th of April 2015, a group of enthusiasts organised the fourth flatMap(Oslo) conference. It was 2 amazing days. 100 attendees gathered for technical talks, workshops, discussions and craft beer. Feedback was great, and in 2016 we gather again for the 5th annual flatMap(Oslo). The goal for this year is the same. Small and intimate, but with high ambitions.
flatMap(Oslo) is organised by a group of developers from Arktekk – a small independent consultancy company based in Oslo, Norway. The financial goal for flatMap(Oslo) is to break even. Every penny we make will go into making the best conference possible. Together with our awesome sponsors we work hard to give you a conference tailored for enthusiasts of Scala and functional programming on the Java Virtual Machine.
Please read our Code of Conduct
