On 19 January 2012 07:51, Mark S. Miller <erig...@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 _______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss