Re: List container strawman 1.1

["Nick Roberts" <nickroberts@adaos.worldonline.co.uk>]

"Stephen Leake" <stephen.a.leake.1@gsfc.nasa.gov> wrote in message
news:u668mcr80.fsf@gsfc.nasa.gov...
> ...
> Part of the problem with this whole notion is that we are only
> _initializing_ the list to contain one element. Nothing prevents us
> from adding other elements. So it is _not_ a singleton list, even
> using your definition!

Oh yes it is. It's a function that returns a constant singleton (list)
object. Whether you then assign it to a list object (which can then be
extended) or do anything else to it is immaterial. (We _are_ talking about a
function aren't we?)

> > I quite like 'Create', but doesn't it clash with the rather
> > different meaning in Ada.*_IO?
>
> Hmm. Ada.Text_IO.Create (file: file_Type) _does_ initialize an
> object of type File_Type, and List.Create (the_list : list)
> initializes an object of type List, so they are similar in meaning.

True, but it might be confusing that Ada.Text_IO.Create is a procedure,
whereas the list constructor we're discussing is a function (isn't it?).

--
Best wishes,
Nick Roberts