Comments on A Neighborhood of Infinity: Rewriting Monadic Expressions with Template Haskel...

(# is the GHC syntax for an unboxed tuple. It's t...

2009-05-10T04:00:00.000-07:00

(# is the GHC syntax for an unboxed tuple. It's therefore magic, and you can't use it anywhere (making # a generally poor choice for an operator name, even though it's not reserved). You can get around it by writing ( # ) = ... instead.

Can someone explain to me why I get a parsing erro...

2009-02-11T00:01:00.000-08:00

Can someone explain to me why I get a parsing error on this line:

> (#) x y = liftM2 AppE x y

But this code is fine:

> x # y = liftM2 AppE x y

Arnar,Like amb in the sense that you can examine t...

2009-01-05T17:07:00.000-08:00

Arnar,

Like amb in the sense that you can examine the value of

$(test [| extract [1,2,3]*extract [4,5,6]==8 |] )

to find out if 8 factors as a certain type of product, as in example.

Can you elaborate on the comment that 1 + extract ...

2009-01-05T15:52:00.000-08:00

Can you elaborate on the comment that 1 + extract [1,2,3] -> [2,3,4] is like McCarthy's ambiguous operator? As I understood the latter, it is about backtracking.

Nice post, but you forgot > {-# LANGUAGE TemplateH...

2009-01-03T14:21:00.000-08:00

Nice post, but you forgot

> {-# LANGUAGE TemplateHaskell #-}

as the first line of Test.lhs.