Re: [prolog-standard] Re: log10/1, log/2, min/2, and max/2

On 2006/11/17, at 08:26, Bart Demoen wrote:

>> There is always the possibility of making mixed mode min and max
>> errors,
>> so that only
>> max(integer, integer) -> integer
>> and max(float, float) -> float
>> are allowed.
>
> I was secretely hoping someone would propose this as a serious
> alternative to all other hassle.

After briefly reading today's messages on the subject (today is a
very busing teaching day), I would also prefer the compromise of
requiring/specifying only non-mixed modes in the standard. Mixed-mode
cases could then be specified either as resulting in an exception or
being implementation-dependent.

Cheers,

Paulo

-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 4.3 Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura_at_di.ubi.pt>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------

_______________________________________________
prolog-standard mailing list
prolog-standard_at_neve.di.ubi.pt
http://neve.di.ubi.pt/mailman/listinfo/prolog-standard
Received on Mon Jul 14 2008 - 13:01:03 EST