BFPG Meetup - July 2024 - Total FP via Dependent Types / ZuriHac recap

Agenda

• 18:00: Welcome and setup
• Presentation #1: Enforcing a discipline of Total Functional Programming through Dependent Types - Donovan Crichton
• Presentation #2: ZuriHac, Haskell Ecosystem Workshop and Lambda Days recap - Jack and Fraser
• 20:00ish: Pack down, exit, head to Criterion pub.

Enforcing a discipline of Total Functional Programming through Dependent Types - Donovan Crichton

Motivated by some recent heavy use of parser generator libraries in Haskell, this talk discusses the issues we face when writing functions for types that are 'too large', and how we may use dependent types to 'shrink' our types back to a reasonable size.

Specifically we cover a brief introduction to: the algebra of types, dependent types, and total functional programming, before getting to the main demonstration of using dependent types to restrict our too large types back to a reasonable size.

This is an intermediate talk and assumes familiarity with pure functional programming and Haskell Syntax. It will help if you've seen dependent types, implicit arguments, or Idris syntax before.

ZuriHac, Haskell Ecosystem Workshop and Lambda Days recap

Jack and Fraser attended this year's ZuriHac, an annual Haskell conference and hackathon in Switzerland. Fraser also attended the Haskell Ecosystem Workshop (colocated with ZuriHac), and Jack attended Lambda Day in Kraków. In this session we will share our reflections and highlights from these events, with a particular focus on the workshops and projects we participate in.