[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: generic * and 0

From: SZAVAI Gyula
Subject: Re: generic * and 0
Date: Tue, 05 Dec 2006 15:07:36 +0100
User-agent: Mozilla/5.0 (Windows NT 5.1; hu-HU) Thunderbird/1.5 Mnenhy/

Kevin Ryde wrote:
"Mikael Djurfeldt" <address@hidden> writes:
(Not entirely sure that the common zero is a good idea, but I tend
to think so.)

I suppose it's a question of whether "*" should do that, or leave it
up to the application.

I think there are 3 solution:
1, make * really generic (non-associative, no 0, no 1)
2, make * non-generic
3, document this strange behaviour

But present undocumented half-genericity is annoying.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]