19 Mar
2006
19 Mar
'06
7:53 p.m.
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.