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

Greg Buchholz haskell at sleepingsquirrel.org
Fri Mar 11 12:58:36 EST 2005

Keean Schupke wrote:
> The things to notice are using types as instance labels, that constraints
> form horn clause compile time meta-programs (in a non-backtracking prolog
> style) and that multi-parameter classes with functional depandencies simulate
> some dependant types.

    I think I understood everything in that sentance up to the word "as" ;-)


More information about the Haskell-Cafe mailing list