the MPTC Dilemma (please solve)
ross at soi.city.ac.uk
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