Name: How to test proper{t,l}y
Start: 2019-10-22T19:00:00+02:00
End: 2019-10-22T21:00:00+02:00
Location: Cegeka

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 FP languages and show some common use cases, techniques and pitfalls.

Lars is a consultant with INNOQ in Munich, Germany. He is known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries in a friendly, welcoming environment. A frequent conference speaker, he is active in the open-source community, particularly in Scala. He also enjoys programming in and talking about Haskell, Prolog, and Rust.

Renato Cavalcanti

Belgian Scala User Group

Technology

Scala

Functional Programming

Play Framework

JVM Languages

Java

New Technology

Clojure

Haskell

How to test proper{t,l}y 

Cegeka

Share

Belgian Scala User Group

How to test proper{t,l}y

Belgian Scala User Group

Details

Members are also interested in