meta-comment on typing Per Bothner (05 Oct 2005 17:35 UTC)
Re: meta-comment on typing John.Cowan (05 Oct 2005 22:00 UTC)
Re: meta-comment on typing Per Bothner (05 Oct 2005 22:14 UTC)
Re: meta-comment on typing John.Cowan (06 Oct 2005 04:55 UTC)
Re: meta-comment on typing Michael Sperber (06 Oct 2005 06:03 UTC)
Re: meta-comment on typing Per Bothner (06 Oct 2005 15:35 UTC)
[SRFI 77] integer-length and integer-sqrt Jens Axel Søgaard (06 Oct 2005 15:54 UTC)
Re: meta-comment on typing Michael Sperber (06 Oct 2005 16:17 UTC)

Re: meta-comment on typing Michael Sperber 06 Oct 2005 16:16 UTC

Per Bothner <xxxxxx@bothner.com> writes:

> Michael Sperber wrote:
>> I personally have no objection to type declaration, but disagree that
>> the code becomes more readable.  In fact, I've seen plenty of evidence
>> that the exact opposite is the case, both in the C world (with type
>> declarations) and in the R5RS/CL world (without).
>
> Type declarations, especially of procedure parameters, is an essential
> part of the documentation and specification of a procedure.  As a
> compact, easily-understood, machine-checkable specifiction that as
> a side benefit (often) improves performance it seems a no-brainer.

I'm sorry, I worded that confusingly. You were suggesting two things:

1. adding type declarations---no objection in principle
2. removing the distinction between different kinds of operations
   ---makes the code less readable

--
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla