David Peter: Interactive Tests and Documentation via QuickCheck style Declarations - λC 2016

David Peter presents a testing library that unifies property testing with interactive user interfaces using applicatives and functional reactive programming.

Wouldn't it be absolutely wonderful if you could use easy, QuickCheck-style declarations to not just test your code, but also make those tests interactive to developers who want to learn more about how to use your functional library? Thanks to the power of applicatives and functional reactive programming, this is now possible! In this talk, the speaker will present a testing library that unifies property testing with interactive testing to make your functional programming libraries both well-tested and also accessible to new users!