Profile cover photo
Profile photo
Gabriel Gonzalez
1,108 followers
1,108 followers
About
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

Post has attachment

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.
Shortcut fusion for pipes
Shortcut fusion for pipes
haskellforall.com

Post has attachment

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/
Wait while more posts are being loaded