Re: relations aren't types?
From: Adrian Kubala <adrian_at_sixfingeredman.net>
Date: Tue, 13 Jan 2004 01:05:42 -0600
Message-ID: <slrnc07666.vjp.adrian_at_sixfingeredman.net>
Date: Tue, 13 Jan 2004 01:05:42 -0600
Message-ID: <slrnc07666.vjp.adrian_at_sixfingeredman.net>
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 - 08:05:42 CET