Welcome to the Functional Programming Auckland Meetup

Passionate about all things FP including Haskell, Nix, Scala, F#, Coq, Scheme, Clojure, and Erlang, as well as Java, Kotlin, JavaScript/TypeScript, and Category Theory.

Join us on Slack

Click here to join our Slack Workspace

Past Talks

View a few of our past talks here: FP Auckland Meetup on YouTube.

* these are a bit old, don't worry we're still active

Offer to give a talk

In our Slack Workspace, offer to give a talk in #general

Past Talk Titles

Here's a selection of the titles of some talks we've had in the past.

  • (Mis)Adventures in Concurrent ML

  • Dependent Types in TypeScript, with Your Favourite Example

  • macOS to NixOS (the "Purely Functional Linux Distribution")

  • FP in Kotlin

  • The 'new' C# - more functional than ever

  • Haskell TensorFlow

  • Program Verification using Coq

  • FRP in Java using Sodium

  • Fun with C++