Sean Hickman

8 Flips | 1 Magazine | 6 Followers | @seanmhickman | Keep up with Sean Hickman on Flipboard, a place to see the stories, photos, and updates that matter to you. Flipboard creates a personalized magazine full of everything, from world news to life’s great moments. Download Flipboard for free and search for “Sean Hickman”

Haskell/Understanding arrows

We have permission to import material from the Haskell arrows page. See the talk page for details.<p>Arrows, like monads, express computations that …

Programming

John Carmack talking at length about Haskell in his QuakeCon Keynote speech (live)

Function in haskell that like catMaybes, but having type [Maybe a] -> Maybe [a]

I would like to have a function with the type:<p>e.g.<p>It is similar to catMaybes :: [Maybe a] -> [a] in Data.Maybe, except that catMaybes ignores …

Combinator pattern

Parsec builds parsers out of smaller parsers.<p>The School of Expression (SOE) graphics library builds pictures out of individual shapes.<p>The SOE book …

Agda: A dependently typed functional programming language and proof assistant

Agda 2<p>Table of contents:<p>Note that this README only discusses installation of Agda, not its standard library. See the Agda Wiki for information about …

Monads as computation

1 Motivation<p>Programmers in general, and functional programmers in particular, are usually not so content to solve a problem in a fragile way by …

GHCJS introduction – Concurrent Haskell in the browser

Note<p>Some of the information here is outdated. Follow the installation instructions in the README. Using a virtual machine is no longer recommended …