Tag Archives: applicative

New Haskell Symposium paper on “twisted functors”

Posted on August 4, 2016 by Brent

Satvik Chauhan, Piyush Kurur and I have a new paper which will appear at the 2016 Haskell Symposium in Japan: How to Twist Pointers without Breaking Them Although pointer manipulations are used as a primary motivating example, at heart the … Continue reading →

Posted in haskell, writing | Tagged , , , , , , , , , | 6 Comments

Teaching abstraction

Posted on November 25, 2012 by Brent

I’m just beginning to prepare for the third incarnation of CIS 194, Introduction to Haskell in the spring. It’s occasioned some general thoughts on teaching abstraction which seemed worth writing down. Abstractions, of course, are everywhere in CS. By abstraction … Continue reading →

Posted in teaching | Tagged , , , | 9 Comments

Parsing context-sensitive languages with Applicative

Posted on January 5, 2012 by Brent

Many parser combinator libraries in Haskell (such as parsec) have both a Monad interface as well as an Applicative interface. (Actually, to be really useful, you also need MonadPlus along with Monad, or Alternative along with Applicative, in order to … Continue reading →

Posted in haskell | Tagged , , , , , , | 11 Comments

Monoids for Maybe

Posted on April 18, 2011 by Brent

The other day I had two lists of monoidal values that I wanted to combine in a certain way, and I realized it was an instance of this more general pattern: > {-# LANGUAGE GeneralizedNewtypeDeriving #-} > import Data.Monoid > … Continue reading →

Posted in haskell | Tagged , , , | 8 Comments