Email list hosting service & mailing list manager

Re: Last call for comments on SRFI 122: Nonempty Intervals and Generalized Arrays Bradley Lucier (05 Dec 2016 18:53 UTC)

Re: Last call for comments on SRFI 122: Nonempty Intervals and Generalized Arrays Bradley Lucier 05 Dec 2016 18:53 UTC

On 12/05/2016 01:35 PM, Bradley Lucier wrote:
> On 11/30/2016 09:13 PM, John Cowan wrote:
>> 1) I think that interval-divide is a better name than interval-curry.
>> It reflects the analogous use of "divide" in Codd's' relational algebra.
>
> About naming what is now called interval-curry:
>
> 1.  One could use a term from colloquial English---divide or split, say.
>  (I don't like "chop" because in my use of colloquial English one often
> discards the part that's been chopped off.)
>
> 2.  One could use a suggestive term from a related field.
>
> I chose "interval-curry" from currying in programming languages.
>
> John suggests "interval-divide" from the division operator in Codd's
> relational algebra.
>
> After thinking about it, I'm going to use "interval-projections".  The
> result of the operation is the same as the projection operator in
> relational algebra;

I forgot to mention that I find Codd's projection operator a lot easier
to understand than the division operator.

  it's also projections in set theory.  It returns two
> projections of the interval, which are chosen by the second parameter.
>
> Brad