RSSAmplifier

Blog

Functorial Blog

A blog about functional programming

blog.functorial.com ↗RSS feed ↗33 posts

Latest posts

Counterexamples of Type Classes, Interactive!

Incrementally Improving The DOM

You Might Not Need The Virtual DOM

Extensible Coeffects

Co Finds a Pairing

The Game of Pattern Matching

Comonads for Optionality

Higher-order Abstract Syntax for Cartesian Closed Categories

Why You Should Use PureScript

Embedding Linear Lambda Calculus, Quickly and Easily

Equalizers of Comonads

FreeAp is a Comonad

Stack-Safe Traversals via Dissection

Comonads and Day Convolution

Comonads as Spaces

Announcing PureScript 0.8

Counterexamples of Type Classes

Building a Task List Application with Thermite

Stackless Coroutines in PureScript

Pretty Printing Arrows

Teaching Haskell To Juggle

A Typed Markup Language Based On Haskell

One-Hole Contexts Generalize Diff To Containers

Testing Random Properties With Type Classes

What Makes the Free Monad Free?

Haskell On Azure

Abstraction Elimination For Linear Lambda Terms

What if Haskell had (co)-equalizers?

Typing Linear Lambda Terms

Doubly-Recursive Functions, Generically

Solving Constraints Generically

Fun With PolyKinds: Polykinded Folds

Enumerating Permutations