A different semantics for WeakMap#get default value

Andreas Rossberg rossberg at google.com
Thu Jan 19 00:44:48 PST 2012


On 19 January 2012 07:51, Mark S. Miller <erights at google.com> wrote:
>
> Because an instance of InfiniteMap conforms to the full Map contract (given
> that baseMap does and is not otherwise used), we have full Liskov
> substitutability -- you can validly pass an InfiniteMap to an abstraction
> expecting a Map.

PS: Won't the "full Map contract" eventually contain iterators, too?
An infinite map cannot sensibly support those.

/Andreas


More information about the es-discuss mailing list