On Thu, Nov 04, 2010 at 06:06:40PM -0400, Dan Doel wrote: > Implementing type inference can be very easy in a logic language, > because most of the work in a non-logic language is implementing > unification:
Provided the implementation includes the occurs check. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe