> I would really welcome feedback on this proposal. Have you encountered
> situations in which pattern guards would be useful? Can you think of ways
> in which they might be harmful, or in which their semantics is non-obvious?
> Are there ways in which the proposal could be improved? And so on.
> Now Haskell already has records and algebraic types.
> Are structures any different from records, if we allow locally
> universally quantified types in records? Is there any reason to
> disallow locally universally quantified types in record types or
> algebraic types?
A difference between st
Hi Fergus!
> Can anyone explain to me what "first class structures" are,
> and how they differ from (or relate to) existential types?
Probably many things are called `first class structures', but I guess
that you mean Mark Jones' first class structures -- that is, the work
in his paper ``From Hi
Hi!
For monads like the `IO' monad, is there any reason for not providing
a monad operator wrapping the fixpoint combinator into the monad? I
mean a function
fixM :: (a -> M a) -> M a
for some monad `M', which feeds its argument the result eventually
produced by the overall monadic computatio
> Could someone explain me why the following does not work?
> Any help is *greatly* appreciated. If I can't find out
> what causes this problem, I'll have to program in c and
> use yacc & lex for the next 2.5 years :-(
This is a threat, indeed :-) To save you from this dreadful future: you
just
>Date: Mon, 2 Oct 1995 05:53:44 -0400
>Reply-To: [EMAIL PROTECTED]
> From: Manuel Chakravarty <[EMAIL PROTECTED]>
>
>> To me, one of the most regrettable characteristics of
>> the Algolic family of languages is the tendency of the
>>
> To me, one of the most regrettable characteristics of
> the Algolic family of languages is the tendency of the
> compiler to turn into a giant black box of facilities
> open only to an elite minority of compiler hackers, which
> then begins inexorably sucking the entire programming
> support en
Hi!
Talking to a friend, who is project manager in a software company, about
modules for Haskell, he made two comments that may be of interest to the
current discussion.
(1) With regard to the idea of 99% hand-written interfaces (just mark everthing
that should go into the interface in a co