Re: relations aren't types?

John Jacob <jingleheimerschmitt_at_hotmail.com> schrieb:
> I am definitely going to research Haskell, and see if some of the
> ideas will apply. From the introduction, it looks like a perfect
> match (relational and functional) but we'll have to see.

Here's another language which is almost certainly a better match (it has Prolog roots), but I don't know much about it so I can't evangelize it: http://www.cs.mu.oz.au/research/mercury/ Received on Tue Jan 13 2004 - 01:05:42 CST