This seems similar to my 'supertyping' proposal. The basic gist was that
you can declare a superclass (which must have a subset of the members of
the original class) after the declaration of the original class...
my original message is here:
http://repetae.net/john/computer/haskell/supertyping.tx
Hal Daume III writes:
:
| So, you're probably better off with:
|
| > nco wn = nco'
| > where wn' = cis wn
| > nco' = 1 : map (wn'*) nco'
|
| In which case it will only be evaluated once.
The following version also evaluates 'cis wn' only once.
> nco wn = iterate (cis wn *) 1
I've
On Wed, Jan 08, 2003 at 02:24:06PM +0100, Marc Ziegert wrote:
> It would be nice to be able to overload class-functions like
>classes:
>
> instance (+), (-) -> Vector where
> (+) v1 v2 = ...
> (-) v1 v2 = ...
> ...
You seem to be making a general complaint, but there'