- Purescript Servant ?!
Martin discusses the possibilies and challenges in building a `purescript-servant`.
Read More
- Metaprogramming in Purescript
We'll take a look at how generics and type-level programming can help us solve real world problems.
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.
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.
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.
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.
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.
Read More
- hs/ps-web3
hs/ps-web3...
Read More
- hs/ps-web3 live demo
hs/ps-web3 live demo
Read More
- Urbit architecture overview
Urbit architecture overview
Read More
- Strongly typed contract storage
Strongly typed contract storage
Read More
- Functions, Type classes, & Interpreters
Functions, Type classes, & Interpreters
Read More
- Category Tehory and Graphical injections: A vision of Advanced Knowledge Representation
Category Tehory and Graphical injections: A vision of Advanced Knowledge Representation
Read More
- Declarative UIs are the Future, and the Future is Comonadic!
Declarative UIs are the Future, and the Future is Comonadic!
Read More