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

Re: Defining a language using itself

• From: Michael Kay <mike@saxonica.com>
• To: "Costello, Roger L." <costello@mitre.org>
• Date: Sat, 10 Jan 2015 21:31:09 +0000

It's a long established tradition in computing to write the compiler for language L in L. That's not the same, of course, as writing the specification in L.

Of course, the XML schema for XSD documents does not fully specify XSD. It only specifies the syntax; and even then, only partially.

Michael Kay
Saxonica
mike@saxonica.com
+44 (0) 118 946 5893




On 10 Jan 2015, at 20:43, Costello, Roger L. <costello@mitre.org> wrote:

> Hi Folks,
> 
> I think it is mind-blowing when a language is defined using the language itself.
> 
> This document defines the XML Schema language using XML Schema:
> 
> http://www.w3.org/TR/xmlschema11-1/#normative-schemaSchema
> 
> That is the XML schema-for-schemas!
> 
> This document defines the JSON Schema language using JSON Schema:
> 
> http://json-schema.org/draft-04/schema# 
> 
> That is the JSON schema-for-schemas!
> 
> These two documents define the ANTLR grammar language using the ANTLR grammar:
> 
> https://github.com/antlr/grammars-v4/blob/master/antlr4/ANTLRv4Parser.g4
> https://github.com/antlr/grammars-v4/blob/master/antlr4/ANTLRv4Lexer.g4
> 
> That is the ANTLR grammar-for-grammars!
> 
> Neat!
> 
> Do you know of other languages that are defined using the language itself?
> 
> /Roger
> 
> _______________________________________________________________________
> 
> 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

• References:
  • Defining a language using itself
    • From: "Costello, Roger L." <costello@mitre.org>