On Fri, 05 Oct 2001 21:25:57 +0200, Karl-Filip Faxen wrote:
>The monomorphism restriction goes like this in my inference rules:
>
>If a declaration group contains a pattern binding with a nonvariable pattern
>or one where there is no type signature for the variable, then the context
>parts of the
Hi
I've rewritten the syntax section (appendix B) in docbook, slightly
hacked the nwalsh style sheets and produced
http://c93.keble.ox.ac.uk/~ian/report/html/
The lexical Structure section is also just started more as
proof-of-concept for linking back into the rest of the report.
As well as ad
Hi all!
I've been spending some time the last year writing up a formalization
of the Haskell type system (actually, most of the static semantics).
In doing so, I've come across an oddity. It seems that Haskell does not
have the principal type property, ie there are Haskell expressions
which, in
On Sun, Sep 30, 2001 at 11:01:38AM -0700, John Meacham wrote:
> seeing as how the haskell standard is horribly vauge when it comes to
> character set encodings anyway, I would recommend that we just omit any
> reference to the bit size of Char, and just say abstractly that each
> Char represents o
Dylan Thurston <[EMAIL PROTECTED]> points out my mistake:
> > Strictness alas matters. Here's the witness:
> >
> > class Num a => ZeroList a where
> > consZero :: a -> [a]
> > consZero _ = 0:xs
>
> Err, "Num a" is already a bad context by Simon's criterion because of
> "fromInteger", which
On Fri, 5 Oct 2001, Bjorn Lisper wrote:
> My question about my student's problem surely stirred an interesting and
> clarifying discussion. Still, I have a question.
> Reconsider the example.
...
> only the first. So far as I can see there should relly be no ambiguity here!
> I'd really like to kn
Hi again,
My question about my student's problem surely stirred an interesting and
clarifying discussion. Still, I have a question.
Reconsider the example. There's a data type
data LispList t = Atom t | LispList [LispList t] | Str [Char]
and an instance declaration
instance Show t => Show (L