On Sun, Mar 19, 2006 at 11:25:44AM -0500, Manuel M T Chakravarty wrote: > My statement remains: Why use a relational notation if you can have a > functional one?
I agree that functions on static data are more attractive than logic programming at the type level. But with associated type synonyms, the type level is not a functional language but a functional-logic one. _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime
