Linking to a language does not give any explicit guarantees regarding card performance. There's an implicit expectation that maps work the way you expect hash tables to execute. I do not see to guarantee that the guarantee of effectiveness will be either vague or inaccurate.
Big-O complexity is a bad way to describe launch times for cards: the actual time of the clock is actual, but complexity is not. Theoretically, cards with keys from final domains (e.g. int) are trivial to O (1) in space and time, and cards with keys with infinite domains (e.g. strings) require hashing and equality testing specifics, which should be included in the price, which makes inserting and searching for the best case O (N log N) on average (since keys must be at least O (N log N) on average to build a hash table with N elements. If you do not get this data directly into the specification, which will be inaccurate, and the benefits of her right are not worth it justify it.
It will also be difficult to provide assurances regarding the actual execution time, and not complexity: there is a wide range of target machines, as well as problems associated with caching and garbage collection.
source share