"S.M.Kahrs" <[EMAIL PROTECTED]> writes: > The class checker for the above is like a little Prolog program: > > foo(int). > bar(int). > foo(char). > bar(X) :- foo(X).
So, the type system for C++ lets you encode (some) Haskell programs and the type system for Haskell lets you encode (some) Prolog programs. Now somebody needs to come up with a type system for Prolog that lets you encode C++ programs. Carl Witty _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
