Re: Question about typing

2001-04-08 Thread andrew
On Sat, Apr 07, 2001 at 08:46:00PM -0500, Matt Harden wrote: In a lazy language like Haskell, a list is essentially the same as a lazy stream Sorry. I've been using Haskell a few months now, and I really did know that, but got so confused going round in circles with a similar problem I'm

Re: Question about typing

2001-04-08 Thread Dylan Thurston
On Sun, Apr 08, 2001 at 11:34:45AM +, Marcin 'Qrczak' Kowalczyk wrote: ... I found a way to express map and zipWith, but it's quite ugly. I would be happy to have a better way. class Map c' a' c a | c' - a', c - a, c' a - c, c a' - c' where map :: (a' - a) - c' - c ...

What do you think about Mercury?

2001-04-08 Thread Terrence Brannon
I have decided to escape the world of Perl into something more definitional. I gave up on CAML and Erlang because they contain imperative elements and I am tired of that form of coding. So, I have narrowed it down to Haskell and Mercury. The attractive things about Haskell are: - automatic

Re: What do you think about Mercury?

2001-04-08 Thread Fergus Henderson
On 08-Apr-2001, Terrence Brannon [EMAIL PROTECTED] wrote: 1- Haskell is a pure functional language, but I don't see any support for backtracking or other logic features... but my guess is you have some way of handling this? How? The usual way of handling backtracking in Haskell is using