the MPTC Dilemma (please solve)

Ross Paterson ross at
Sun Mar 19 19:53:42 EST 2006

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.

More information about the Haskell-prime mailing list