Sun, 7 May 2000 16:13:46 +0400 (MSD), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> Also what do you do with
> class Foo a where weightOfType :: Int
> ?
In this case one solution is to have a sample argument, because Haskell
does not provide more convenient way of parame
Fergus Henderson ([EMAIL PROTECTED]) wrote:
[snip]
: > * `zero x' fits the aim of implicit dynamic domains.
:
: This one is much more interesting.
I am not sure if I understand this but I also used
zero :: a -> a
to create polynopmials as opposed to a function
zero :: a
The application
On 07-May-2000, S.D.Mechveliani <[EMAIL PROTECTED]> wrote:
> Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> writes
>
> > Sample arguments are bad, because:
> > [5 points follow]
>
> But they are only for snobs.
That doesn't matter; we don't want to add a bad feature,
regardless of who is likely
Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> writes
on 5 May 2000
>> Let us call for the recent basAlgPropos discussion a hacker
>> any Haskell user who do not like to care of mathematics, especially,
>> of its most abstract parts.
>> And call a snob any user that feels it quite different.