cs
is the same in both cases.
I don't want to use the let, because, really I'd like to exend the
data type to be a sum and the case expression to make a decision. What
I really want is a state monad that supports emergency stops. The case
expression is in the implementation of >&
On Sat, 6 Nov 1999, Lennart Augustsson wrote:
> Implementing existentials without a context is very easy. It took less than a
> day in hbc. But when you want to handle a context on the type variable
> as well, which is when it gets interesting, is more complicated.
Are there any tutorials or b
I could repost this code as well as an
> explanation of the many "hacks" I had to due to get around ambiguity
> arising fro the use of multiple parameter classes and other
> limitations of Haskell.
Rather than repost all the code, could you post just enough to show the
source of the difficulty?
Cheers,
Theo Norvell
t text is not bad, but I think it still has a problem (one I found
> in two or three other introductory texts of monads): it stops right
> before getting really interesting!
Along the same lines and subject to many of the same criticisms is
http://www.engr.mun.ca/~theo/Misc/haskell_and_monads
theo/Misc/haskell_and_monads.htm
(in HTML, no less, so there will be no font problems).
Cheers,
Theo Norvell
Dr. Theodore Norvell [EMAIL PROTECTED]
Electrical and Computer Engineeringhttp://www.engr.mun.ca/~theo
Engine
On Tue, 27 Jul 1999, Andreas C. Doering wrote:
> >> let x=[1..] in x==x
> >> would not terminate in the first case but succeed in the second.
> >
> > But, much worse
> >
> > let x = (a,b) in x `req` x = True
> > but
> > (a,b) `req` (a,b) = False
> >
> >
updated the
state, then the parts of s0 that are not shared should be collectable.
Cheers,
Theo Norvell
Dr. Theodore Norvell, Assistant Professor [EMAIL PROTECTED]
Memorial University of Newfoundlandhttp://www.engr.mun.ca/~theo
are comparing speed, I doubt Hugs will outperform a compiled C or
Pascal program, as Hugs is an interpreter. It might be interesting to
compare compiled Haskell to C or Pascal.
Cheers,
Theo Norvell
Dr. Theodore Norvell [E
