[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: Markup language designers - How does one find or determine

  • From: David Lee <dlee@calldei.com>
  • To: "Costello, Roger L." <costello@mitre.org>
  • Date: Sat, 30 Jul 2011 22:04:41 -0400

Re:  Markup language designers - How does one find or determine
I also  disagree with  the mathematical analogy and premiss.
Axioms are neither simple Nor universally agreed.
They are painstakingly invented 'out of thin air' as an ideally minimum basis out of which to build a more complex system.
they are not unarguably 'truths' ... More simply accepted as a point of discourse as 'atomic' for this particular group ... That is they are not derived from anything else.
But they are not 'truth' they are invented and declared by definition and in many real senses arbitrary.   The true magic of mathematics where the rest is engineering.






Sent from my iPad (excuse the terseness) 
David A Lee
dlee@calldei.com


On Jul 30, 2011, at 9:48 AM, "Costello, Roger L." <costello@mitre.org> wrote:

> 
> Hi Folks,
> 
> When designing a new markup language, how does one find or determine the basic/core markup items?
> 
> Consider:
> 
> In mathematics one identifies a small, simple set of axioms that everyone can agree are obviously true. For example, one commonly used axiom is the commutative law: a + b = b + a. The axioms are combined in various ways to create new truths (i.e., theorems). My mathematician friend tells me that the universe of truths (theorems) that can be derived depends on the starting axioms.
> 
> In functional programming one identifies a small, simple set of combinators (functions) that are combined in various ways to create new combinators.
> 
> Simon Peyton Jones identifies these characteristics of basic/core combinators [1]:
> -      Each combinator is independently useful.
> -      Each embodies a distinct piece of functionality. This simplifies their semantics and enriches the algebra of composition.
> 
> Simon Peyton Jones says this about the process of identifying a set of basic/core combinators: "The [basic/core] combinators ... are the result of an extended, iterative process of refinement, leading to an interlocking set of decisions -- programming language designers will be quite familiar with this process."
> 
> In designing a markup language one identifies a set of elements and attributes that are to be combined in various ways. Consider one markup language -- XML Schema. It contains element and attribute declarations and simpleType and complexType definitions that are combined in various ways to create definitions of valid XML instances. Consider another markup language -- RELAX NG. It contains a different set of basic/core elements and attributes. How did the creators of XML Schema and RELAX NG come up with their basic/core elements and attributes? When *you* create a new markup language, how do *you* come up with the basic/core elements and attributes? 
> 
> Markup language designers -- How do you find or determine the basic/core set of markup combinators?
> 
> Finding the "right" set of basic/core axioms or combinators or markup is important. The set determines the universe of things that can be defined, the ease with which things can be defined; and how readily it is adopted.
> 
> Do you know a good book or article that describes the *process* of finding or determining the basic/core items in a newly-to-be-created markup language (or the basic/core combinators to be created for a functional program)?
> 
> /Roger
> 
> [1] http://www.xfront.com/The-Fun-of-Programming/Chapter6/How-to-write-a-financial-contract.pptx 
> 
> _______________________________________________________________________
> 
> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
> to support XML implementation and development. To minimize
> spam in the archives, you must subscribe before posting.
> 
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
> subscribe: xml-dev-subscribe@lists.xml.org
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
> 


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]


PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.