- Purescript Servant ?!
Martin discusses the possibilies and challenges in building a `purescript-servant`.
Martin Allen
Read More
- Metaprogramming in Purescript
We'll take a look at how generics and type-level programming can help us solve real world problems.
Evante Garza-Licudine
Read More
- Adopting pure FP incrementally - Engineering at Lumi
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
Read More
- Teaching a Functional Language New Tricks
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
Read More
- Introduction to diagrammatics
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
Read More
- The Diagonal Argument and Algorithm W
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
Read More
- Purescript concrete syntax trees
Nathan discusses the changes and improvements of the purscript parser since `purescript-cst` has been merged into the compiler.
Nathan Faubion
Read More