BFPG - August 2024 - Property Testing in TypeScript + FP -> mainstream languages

Agenda

• 18:00: Welcome and setup
• Presentation #1: Property Testing in Typescript with fast-check by Dylan Just
• Presentation #2: The percolation of FP into the mainstream by Caolán Leatham-Orrell
• 20:00ish: Pack down, exit, head to Criterion pub.

Property Testing in Typescript with fast-check

Property testing is a technique for writing tests using pseudo-random data in a controlled way. It lets you write tests that cover a variety of possible inputs, while removing human bias and finding edge cases that you wouldn't normally think to check. This talk introduces property testing using the fast-check library for Typescript. We'll cover seeds and generators and shrinking, how to turn a unit test into a property test, and some common properties that can be useful to test.

The percolation of FP into the mainstream

Caolán examines the percolation of FP concepts and constructions into mainstream languages, and draw parallels with how pure mathematics often finds practical applications years later. Our exploration will be sprinkled with bad puns and maybe some philosophy.