Is `List` really a specification type?
Tom Van Cutsem
tomvc.be at gmail.com
Sun Nov 30 05:32:16 PST 2014
2014-11-27 17:12 GMT+01:00 Claude Pache <claude.pache at gmail.com>:
> 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...
More information about the es-discuss