[Haskell-cafe] Joy Combinators (Occurs check: infinite type)
daniel.is.fischer at web.de
Sun Mar 6 15:15:05 EST 2005
> Not saying it isn't tricky - but thats what the HList library
> (http://www.cwi.nl/~ralf/HList) implements, a heterogenous list.
> It works slightly differently using classes, but does abstract the
> workings enough to be useful, to construct an HList you can do:
> hlist = "a" .*. (3:Int) .*. False .*. 'v' .*. HNil
> And provides head/tail functions and other useful list and set
Phew, not bad, but not easy to absorb.
Do you know whether the Joy Combinators would work with HList?
If I find the time, I'll try to see for myself tomorrow, but I'm not sure that
More information about the Haskell-Cafe