Haskell for all
Friday, November 1, 2013
Test stream programming using Haskell's `QuickCheck`
pipes is a stream programming library built on top of a foundation of basic category theory. The core of the library consists of a set of f...
Saturday, October 12, 2013
An all-atom protein search engine powered by Haskell
This post discusses a Haskell-based project that is the central component of my thesis: a fast, atom...
Wednesday, October 9, 2013
How to reimplement the conduit parsing API in 50 lines of pipes code
Michael's recent blog posts highlighted several deficiences of pipes -based parsing. Particularly, he emphasized that it was incompatibl...
Sunday, October 6, 2013
Manual proofs for the `pipes` laws
Out of all of Haskell's streaming libraries, pipes is the only that does not have a test suite. This is because I prefer to use equati...
Friday, September 20, 2013
Perfect streaming using `pipes-bytestring`
pipes-bytestring-1.0.0 is complete, providing pipes utilities for reading and writing effectul streams of ByteString s. Most people who ha...
Saturday, September 7, 2013
pipes-4.0: Simpler types and API
I'm announcing pipes-4.0 which greatly simplifies the types and API of the pipes ecosystem. For people new to pipes , pipes is a comp...
Saturday, August 10, 2013
foldl-1.0.0: Composable, streaming, and efficient left folds
I'm releasing the foldl library , which builds upon this previous post of mine. This library lets you build and combine multiple fold...
View web version