On Tue, Oct 16, 2007 at 10:56:27AM +1000, Manuel M T Chakravarty wrote: > Lennart Augustsson wrote, >> And Haskell embedded a logical programming language on accident. > > Well, we are just trying to fix that :)
Since types are inferred using unification, and classes are still present, adding functions yields a functional logic programming language at the type level. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
