Posts

Post has attachment

A URL for every type, constructor, and term

Post has attachment

Here is a library for a neat applicative abstraction I found for creating updatable values resembling spreadsheets. It comes with a companion github repository demonstrating GTK and SDL examples

Post has attachment

This post discusses the intersection of mathematics and model-view-controller

Post has attachment

This is a very concise explanation I wrote up for how the `Functor`, `Applicative`, and `Monad` instances work for `ContT`.

Post has attachment

This post explains how I optimize `pipes` using rewrite rules and short cut fusion. Some of these innovations have already been adopted by `conduit`, too, so make sure to upgrade to get improved performance.

Post has attachment

This is a tutorial I wrote up to teach basic tricks for equational reasoning in Haskell.

Post has attachment

**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, atomic-level structural search engine named "Suns". I will discuss what problem this search engine solves, why I chose Haskell for this project, and what were th...

Add a comment...

Post has attachment

**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 incompatible with idioms from the core pipes library, and I agree with that assessment. Programming with pipes-parse is a different ...

Add a comment...

Post has attachment

**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 equational reasoning to prove the correctness of pipes . For those new to Haskell, equational reasoning is the use of equations...

Add a comment...

Post has attachment

The `pipes-4.0.0` release candidate is out. Please check it out and please offer feedback.

All four core `pipes` libraries are getting upgraded simultaneously, so for links to all four of their Github repositories and their pre-generated haddocks, please visit the link to the corresponding reddit post which has more detailed information:

http://www.reddit.com/r/haskell/comments/1lh5u7/pipes400_release_candidate/

All four core `pipes` libraries are getting upgraded simultaneously, so for links to all four of their Github repositories and their pre-generated haddocks, please visit the link to the corresponding reddit post which has more detailed information:

http://www.reddit.com/r/haskell/comments/1lh5u7/pipes400_release_candidate/

Wait while more posts are being loaded