Immutable containers have nice subtype relationships: arrays <= ordered dictionaries <= unordered maps <= weak maps <= functions.
This works really nice if there are first-class subtypes 0..n of natural numbers for all n.
-
-
When I hear the word 'subtype', I reach for my gun. :)
-
Much of what is good with type theory goes out of the window with subtyping. I'll stick to polymorphism. :)
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.