PureConf 2022
who it's for
PureScript developers, functional programmers, frontend developers, language implementers, library authors, audio software engineers
topics
ExceptT ReaderT StateT stacks; stack-order effects in transformers; cofree comonads for audio; Web Audio graph projection; linear types for runtime checks; tail-recursion via CPS and worker-wrapper; trampoline monad for recursion; futures with cancelation; Aff monad and fibers; PureScript fetch wrappers; purescript-parsing combinators; RFC 5322 email parser port
| title | author | length |
|---|---|---|
| Using Monad Transformers without understanding them | Jordan Martinez | 24m |
Explains how to drop manual boxing and use ExceptT, ReaderT, and StateT to add errors, read-only config, and mutable state to existing monads, with runnable… | ||
| The Hills Are Alive With the Sound of Comonads | Mike Solomon | 51m |
Demonstrates a working browser DAW, purescript-wags, that projects and updates full Web Audio graphs 60×/s by representing audio state as cofree comonads over… | ||
| Taming the stack | Nathan Faubion | 36m |
Shows how any first-order non-tail recursion becomes a tail-recursive loop by applying a worker‑wrapper, CPS to named continuations, turning closures into an… | ||
| Asynchronous JavaScript & PureScript for Haskellers | Benjamin Hart | 28m |
Shows how DOM and network events are modeled with an emitter and explains the event loop queuing behavior, then compares callbacks, non‑cancelable… | ||
| Monadic Parsers at the Input Boundary | James Brock | 41m |
Recommends parsing every incoming byte stream with purescript-parsing rather than ad hoc splitting or regexes, demonstrating concrete parsers: an "a then b"… | ||
| nothing matches | ||