Is `List` really a specification type?

Tom Van Cutsem at
Sun Nov 30 05:32:16 PST 2014

2014-11-27 17:12 GMT+01:00 Claude Pache <claude.pache at>:

> Lists are indeed specification-only types, and the result of the
> `[[OwnPropertyKeys]]` internal method call is never directly observed by
> the programmer: it is only used as an intermediate result within
> algorithms. A List is, I presume, a finite ordered sequence of values.

Indeed, user-facing functions convert the List to an Array, see e.g.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the es-discuss mailing list