[Haskell-cafe] Joy Combinators (Occurs check: infinite type)

Daniel Fischer daniel.is.fischer at web.de
Sun Mar 6 15:15:05 EST 2005

Keean wrote:
> 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
> operators.
>     Keean.

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 
I will.


More information about the Haskell-Cafe mailing list