On 10 Jan 2008, at 6:04 AM, Nicholls, Mark wrote:
-Original Message-
From: Bulat Ziganshin [mailto:[EMAIL PROTECTED]
Sent: 10 January 2008 13:36
To: Nicholls, Mark
Cc: Luke Palmer; haskell-cafe@haskell.org
Subject: Re[2]: [Haskell-cafe] confusion about 'instance'
Hello Mark,
Thur
g
> Subject: Re: Re[2]: [Haskell-cafe] confusion about 'instance'
>
> On Jan 10, 2008 2:04 PM, Nicholls, Mark <[EMAIL PROTECTED]>
wrote:
> > I can translate OO into mathematical logic pretty easily, I was
trying
> > to do the same thing (informally of cours
On Jan 10, 2008 2:04 PM, Nicholls, Mark <[EMAIL PROTECTED]> wrote:
> I can translate OO into mathematical logic pretty easily, I was trying
> to do the same thing (informally of course) with Haskellbut things
> are not quite what they appearnot because of some OO hang up (which
> I probably
> -Original Message-
> From: Bulat Ziganshin [mailto:[EMAIL PROTECTED]
> Sent: 10 January 2008 13:36
> To: Nicholls, Mark
> Cc: Luke Palmer; haskell-cafe@haskell.org
> Subject: Re[2]: [Haskell-cafe] confusion about 'instance'
>
> Hello Mark,
>
> Thursday, January 10, 2008, 4:25:20 PM
On Jan 10, 2008 1:36 PM, Bulat Ziganshin <[EMAIL PROTECTED]> wrote:
> Hello Mark,
>
> Thursday, January 10, 2008, 4:25:20 PM, you wrote:
>
> "instance Num a => A a"
>
> > Mean the same thing as
>
> > "instance A (forall a.Num a=>a)"
>
> programmers going from OOP world always forget that classes in