S.D.Mechveliani ([EMAIL PROTECTED]) wrote:
[I cc'd this to haskell as well]
: this is exactly the Domain conversion proposal, described in
: basAlgPropos. class Cast a b where cast :: a -> b -> a.
: The first argument is the sample for domain. The second casts to
: `a' after the given sample
ongen <[EMAIL PROTECTED]> -
Date: Mon, 8 May 2000 11:14:03 +0100
From: Marc van Dongen <[EMAIL PROTECTED]>
To: "S.D.Mechveliani" <[EMAIL PROTECTED]>
Subject: Re: sample argument. Dongen's example
X-Mailer: Mutt 1.0.1i
In-Reply-To: <[EMAIL PROTECTED]>; from [
S.D.Mechveliani ([EMAIL PROTECTED]) wrote:
: I wrote to list, and you reply privately.
Ooops. I thought I group replied. I'll forward to
the list.
: I think that it is good for the list to know that someone else
: appreciates the need of dynamic parameters in domain ...
Which is why I decided
Concerning the sample argument approach,
Marc van Dongen <[EMAIL PROTECTED]> writes on May 8 2000
> I am not sure if I understand this but I also used
> zero :: a -> a
> to create polynomials as opposed to a function
> zero :: a
> The application
> zero p
> created a zero polynomial with certa