On 13 Jul, S. Alexander Jacobson wrote:
> You should look at Cardelli's paper on Service Combinators.
> I don't have a URL handy, but you should be able to find it with a quick
> search.
http://www.luca.demon.co.uk/Papers.html#ServiceCombinators> (the
links to the contents of the paper are at t
On Mon, 13 Jul 1998, Eric Blough wrote:
> Alastair Reid writes:
> > [EMAIL PROTECTED] (S.D.Mechveliani) writes:
> > > Recent Haskell ignores the possibility of the automatic type
> > > conversion. Thus,
> > > 1 + 1%2
> > > is ill-typed.
> >
> > and goes on to
Recent Haskell ignores the possibility of the automatic type
conversion. Thus,
1 + 1%2
is ill-typed.
Probably, this is because of the lack of a definite concept of which
value has to convert to which between the types.
On the other hand, my computer algebra project ha
> Ralf: can you supply other examples?
Sure thing. A while ago I implemented several popular priority queue
structures. Being tired of proving them correct I worked out a simple
method of checking their correctness (or rather: the absence of errors)
at run-time. The idea is to cross-check a new i
Alex Ferguson <[EMAIL PROTECTED]> wrote on 10 Jul 1998
>...
> instance (Set s n, Num (s n), POrd (s n)) => Num [s n] where
> n + m
> = bigunion [ overlaps [n1 + m1 | m1 <- m] | n1 <- n]
> ...
> ... It seems to me that the nature of the MPC forces me to use
> non-variable contexts, whic
You should look at Cardelli's paper on Service Combinators.
It contains a description of combinators to handle the unreliable aspects
of retrieving web pages.
I don't have a URL handy, but you should be able to find it with a quick
search.
-Alex-
On Fri, 10 Jul 1998 [EMAIL PROTECTED] wrote:
>
[I'm taking the liberty of broadening this to the Haskell
mailing list. I doubt anyone is on glasgow-haskell-users, where
it started, but not on the haskell list.]
> > I think this has been discussed before, but I've just run into it myself.
> > I have a MPC 'Set', in the usual bog-standard fas
Alastair Reid writes:
> [EMAIL PROTECTED] (S.D.Mechveliani) writes:
> > Recent Haskell ignores the possibility of the automatic type
> > conversion. Thus,
> > 1 + 1%2
> > is ill-typed.
>
> and goes on to propose a fix.
>
> This expression is perfectly well
[EMAIL PROTECTED] (S.D.Mechveliani) writes:
> Recent Haskell ignores the possibility of the automatic type
> conversion. Thus,
> 1 + 1%2
> is ill-typed.
and goes on to propose a fix.
This expression is perfectly well typed: Hugs 1.4 accepts it without
any problems: