Alright, so I've been spending a lot of time lurking around the Semantic Web Interest Group Channel on the Freenode IRC network. We've been talking about defining an ontology for describing programming languages in a data-language format. one of the people there, Toby Inkster, has gone and started an implementation which is available.
core terms
one particular view of
how programming languages relate together
one particular view of
how data languaes fit together.
This schema is purposed for use as the declarative portion of a Language of Languages.
The basic idea which we arrived on is that language is practically impossible to define manually, but we have various implemented languages that we can parse programmatically to build towards an implicit definition of language.
We arrived at this conclusion based on the fact that a full vW-grammar is Turing complete and therefore undecidable as a metalanguage. It will result in an infinite number of languages. If a universal language exists, it would have to express the set of all expressible languages, so any language known of would likely be a subset of a Language of Languages.
enjoy the links,
Ian Mclean
----------------
There are no truths in science, only the falsifiable hypotheses and explanations of the people who test them.
Hyper Physics
Hyper Math
Wikipedia
