On Thu, 16 Apr 1998, S. Alexander Jacobson wrote:
All that being said, we can say that there are certain properties that
all haskell functions must fulfill. For example a recursive function
should never call itself with the arguments that it recieved.
e.g. myFunction 2 3 should not make
Not to reject assertions (they would be welcome), but I think that you
need something slightly different in a functional programming language.
Assertions in procedural languages typically define system state before
and after a particular function gets executed.
State assertions are less
Various people write:
Cc: [EMAIL PROTECTED], [EMAIL PROTECTED]
Can I ask people to be careful to which haskell-list address(es) they
followup to? My understanding is that list messages ought to be sent
_only_ to [EMAIL PROTECTED], and that any other addresses are symptoms
(and in some cases
For whoever's interested - new snapshot of Green Card is available
which fixes a bug in the handling of %end declarations.
ftp://ftp.dcs.gla.ac.uk/pub/haskell/glasgow/green-card/gc-v2-170498.tar.gz
--Sigbjorn