Issue33819
Created on 2018-06-10 13:13 by adelfino, last changed 2022-04-11 14:59 by admin. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| "ordered mapping"">PR 7586 | closed | adelfino, 2018-06-10 13:14 | |
| Messages (3) | |||
|---|---|---|---|
| msg319218 - (view) | Author: Andrés Delfino (adelfino) *  |
Date: 2018-06-10 13:13 | |
IMHO, we should replace the "ordered dictionary" with "ordered mapping" now that regular dictionaries are ordered. I'm proposing "ordered mapping" instead of "dictionary" because there's no actual dictionary behind; it's just a "conceptual model". PR changes this. |
|||
| msg319369 - (view) | Author: Inada Naoki (methane) *  |
Date: 2018-06-12 08:20 | |
I think "dictionary" means just "dict-like", and it doesn't implies "ordered". Glossary doesn't say "dictionary" is ordered too. So "regular dictionary is ordered now" is not enough reason to stop using "ordered dictionary". |
|||
| msg319376 - (view) | Author: R. David Murray (r.david.murray) * |
Date: 2018-06-12 12:21 | |
Message/EmailMessage are intentionally mimicing the full dictionary API, not just the Mapping API (with a couple exceptions and several extensions). But it is important to mention that it is ordered, both for the reason INADA stgtes, and because the text goes on to discuss the handling of duplicate headers and what happens when you add and delete headers. While this turns out to be almost the same as the rules used by a standard python dictionary, that is partially a coincidence....other ordering rules could have been chosen. |
|||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-04-11 14:59:01 | admin | set | github: 78000 |
| 2018-06-12 12:21:26 | r.david.murray | set | status: open -> closed nosy:
+ r.david.murray resolution: not a bug |
| 2018-06-12 08:20:27 | methane | set | nosy:
+ methane messages: + msg319369 |
| 2018-06-10 13:14:29 | adelfino | set | keywords:
+ patch stage: patch review pull_requests: + pull_request7208 |
| 2018-06-10 13:13:06 | adelfino | create | |