What we’re about
We're a group of passionate geeks looking to learn more about functional programming and how it can help us in our professional lives. Members range from absolute beginners through to advanced users. Everyone at any level is welcome to attend and/or speak.
We hang out in the #bfpg IRC channel on Libera, and are happy to answer questions, throw ideas around and generally banter.
Come along and bring your friends! We look forward to seeing you there.
The BFPG Organisers.
Upcoming events (4+)See all
- BFPG - March 2024 - Property testing in TypeScript / Propositions as TypesBrisbane Square Library, Brisbane City, QL
- 18:00: Welcome and setup
- Presentation #1: Propositions as Types (Donovan Crichton)
- Presentation #2: Property Testing in Typescript with fast-check (Dylan Just)
- 20:00ish: Pack down, exit, head to Criterion pub.
Propositions as Types (Donovan Crichton)
This talk will introduce you to an alternative way to think about types and
functions. Under certain conditions your types can be logical propositions and your functions can be mathematical proofs. Proving a theorem becomes no different to writing a program in a (particular kind of) pure functional programming language. We will explore this notion in the Idris functional programming language and see examples of how proofs can be very useful to day-to-day programming.
Property Testing in Typescript with fast-check (Dylan Just)
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.