This page outlines a disputed inconsistency that the Microformat's community has had for a number of years. Namely, in the way the community defines "namespace" and the position it takes against that definition of a namespace.
Here are the definitions that the namespace inconsistency deals with:
- A context is an enclosing structure that provides semantic meaning to the elements that it encloses.
- A scope is an enclosing context where values and expressions are associated. The term is interchangeable with context.
- A namespace is a named scope.
- fully qualified namespace
- Fully qualified namespaces remove all ambiguity from a name. An example of a fully qualified namespace is: http://purl.org/dc/elements/1.1/creator, which is a fully qualified namespace for the Dublin Core property named 'creator'. In C++ std::string is an example of a fully qualified namespace.
- emulated namespace
- A namespace can be emulated by using an identifer naming convention. For example, png_create_write_struct, png_get_signature, png_read_row, png_set_invalid are examples of C functions that use an emulated namespace called 'png'.
These are the changes that would need to be made to the namespaces considered harmful page to bring the Microformats definition of a namespace in line with the commonly cited definition of a namespace.
- The five brief definitions on context, scope, namespace, fully qualified namespace, and emulated namespace should be included on the page. Citations to more detailed definitions should be included on the page, the list of literature at the end of this page would be a good starting point.
- It should be made clear that Microformats use context, scope, namespaces as a general concept, and emulated namespaces in certain situations.
- It should be made clear that Microformats do not use fully qualified namespaces for class names, data, or any other Microformatted content.
Here are excerpts from the definitions and links to further definitions supporting the arguments listed on this page.
The general definition of context is:
Discourse that surrounds a language unit and helps to determine its interpretation.
- --- Wordnet: context
The definition of scope is:
In computer programming, scope is an enclosing context where values and expressions are associated. Various programming languages have various types of scopes. The type of scope determines what kind of entities it can contain and how it affects them -- or semantics.
- contain declarations or definitions of identifiers;
- contain statements and/or expressions which define an executable algorithm or part thereof;
- nest or be nested.
A namespace is a scope that uses the enclosing nature of the scope to group logically related identifiers under a single identifier. Thus, scopes can affect the name resolution for their contents.
- --- Wikipedia: scope
The general definition of namespace is defined as:
...a namespace is an abstract container providing context for the items (names, or technical terms, or words) it holds and allowing disambiguation of items having the same name (residing in different namespaces)...
The Computer Science definition of namespace is:
A namespace is an abstract container or environment created to hold a logical grouping of unique identifiers (i.e., names). An identifier defined in a namespace is associated with that namespace. The same identifier can be independently defined in multiple namespaces. That is, the meaning associated with an identifier defined in one namespace may or may not have the same meaning as the same identifier defined in another namespace. Languages that support namespaces specify the rules that determine which namespace an identifier (i.e., not its definition) belongs.
The Computer Science definition of an "emulated namespace" is:
In programming languages that do not provide language support for namespaces, namespaces can be emulated to some extent by using an identifier naming convention. For example, C libraries such as Libpng often use a fixed prefix for all functions and variables that are part of their exposed interface. Libpng exposes identifiers such as:
This gives reasonable assurance that the identifiers are unique and can therefore be used in larger programs without fear of identifier naming collisions.
The Computer Science definition of a "fully qualified namespace" is:
In computer programming, a fully qualified name is an unambiguous name that specifies which object, function, or variable a call refers to absolutely. To fully-qualify most often means to explicitly refer to namespaces that would otherwise be implicit because of the scope of the call.
In June of 2007, while discussing what should be the name of a song, album or audio recording for hAudio, it was suggested that TITLE be re-used from hCard. This kicked off a debate about whether it would be appropriate to re-use TITLE because TITLE was previously defined in hCard as "job title". Manu pointed out that this was not the proper English definition for TITLE, would confuse authors, and inquired as to why TITLE was defined in such a constrained way. It was shown that TITLE re-used the definition of TITLE from the VCARD specification, and since TITLE had been set as such, re-defining it to become in-line with the English definition of TITLE would have ramifications on hCard implementations out in the field.
A suitable replacement for TITLE was discussed and FN was adopted for hAudio.
Several months later, Martin McEvoy raised the issue again - that FN is not a suitable replacement for the title of an audio recording. Manu argued that TITLE should be brought in line with the English definition once again, and another argument about namespacing started on the microformats-new mailing list. This discussion revolved around an assertion that Manu was making about Microformat's having a stance against namespacing, but then turning around and inconsistently using "emulated namespaces" as a replacement when there was no other option but to namespace (such as in hAtom - "entry-title", "entry-summary", "entry-description")
Manu asserted further that the community has an inconsistent stance on namespaces because the community's definition of namespacing was not standard. It deviated from the definition in the field of linguistics, programming language design, and mainstream computer science literature. To illustrate the point, it was shown what the standard definition of 'namespace' is using a number of text books on the subject.
Manu is currently challenging the vague and inconsistent definition of namespace that is being used in the Microformats community and is asking for further refinement on the types of namespaces that are and are not allowed in the Microformats community.
Sympathetic to the Cause
Below is a list of people that would like the namespace inconsistency more directly addressed by implementing the changes listed above in the "Required Changes" section.
- ManuSporny 07:54, 5 Feb 2008 (PST)
Danny Ayers resolves pretty much all of the above regarding "namespaces" in his email:
This resolution is being contested by Manu since none of the namespaces pages were updated as a result of the discussion. ManuSporny 19:45, 4 Feb 2008 (PST)
References that support the commonly understood definition of namespace:
- History of Programming Languages II, By Thomas J. Bergin, Richard G. Gibson, p.265
- Programming and Problem Solving with C++, By Nell B. Dale, Chip Weems, p.369
- Computer-Aided Verification '90: Proceedings of a DIMACS Workshop, June 18-21, 1990. p.571
- Handbook of Object Technology By Saba Zamir, p.15