Ben wrote:
however, this does bring up a general question : why are applicative
functors (often) faster than monads? malcolm wallace mentioned this
is true for polyparse, and heinrich mentioned this is true more
generally. is there a yoga by which one can write monadic functors
which have a
Hello all,
I've just released a new version of blaze-html on Hackage. It has some
backward-incompatible changes, so feel free to contact me if you run
into any trouble.
Summary of changes:
- Split into blaze-markup and blaze-html
- Easy creation of custom HTML elements
- Very simple HTML tree
Hi,
I was trying to install ad (Automatic Differentiation) but got the
following error. I guess the answer is to upgrade my ghc (perhaps
someone could confirm) but I am using the Haskell Platform and would
rather stick with that. I see from http://hackage.haskell.org/platform/
that the next
Hi,
I just found out that with the new ConstraintKinds extension we can
parameterize the constraint of an existentially quantified type:
{-# LANGUAGE KindSignatures, ConstraintKinds, ExistentialQuantification #-}
import GHC.Exts
data Some (c :: * - Constraint) = forall a. c a = Some a
This
On Sat, Apr 21, 2012 at 6:05 PM, Bas van Dijk v.dijk@gmail.com wrote:
Hi,
I just found out that with the new ConstraintKinds extension we can
parameterize the constraint of an existentially quantified type:
{-# LANGUAGE KindSignatures, ConstraintKinds, ExistentialQuantification #-}
I'll need to get an older ghc version installed, so I can try to figure out
what changes are needed to make template haskell bits compatible back to the
current platform. 'ad' uses TH rather extensively, and sadly, the update to
support ghc 7.4.1 broke a fair bit of the old code gen -- as I
Haskell 2012
ACM SIGPLAN Haskell Symposium 2012
Copenhagen, Denmark
13th September, 2012
