All talks

Martin discusses the possibilies and challenges in building a `purescript-servant`.

Martin Allen

We'll take a look at how generics and type-level programming can help us solve real world problems.

Evante Garza-Licudine

At Lumi, we've spent the last 18 months or so incrementally replacing our entire stack with purely functional programming languages - specifically Haskell and PureScript. I'll share some stories about how we got there from a very different stack in small steps. I'll also show some of the open source work we've been releasing lately.

Phil Freeman

In this talk, I'll show how we can use basic Haskell as a tool to help us learn another skill - juggling! I'll demonstrate the basic facts about juggling that you need to understand the code, and then we'll write some Haskell to help us understand more about juggling, and find some new, interesting juggling tricks.

Phil Freeman

Representing composite maps via wiring diagrams + a tour of the underlying category theory that makes this work and generalizes it to broader contexts.

Dmitry Vagner

I would like to review Algorithm W of the Hindley–Milner type system, the type inference and type checking algorithm that powers the PureScript and Haskell compiler's ability to prove a program's type correctness.

Sean Westfall

Nathan discusses the changes and improvements of the purscript parser since `purescript-cst` has been merged into the compiler.

Nathan Faubion