Smalltalk and Lisp are high on my list of programmable programming languages to investigate, but I suspect I have some fairly radical ideas regarding the design and implementation of a language of languages. Chief amongst the radical ideas would be the explicit purpose of the language: to develop languages. Most programming languages are designed and developed towards developing programs and solving specific problem domains like graphics or mathematics. This language would be oriented towards resolving the challenges of language.
To give a more explicit account of what I am working on here are some properties that I am looking to design into a language:
Compiled
Interpreted
Profiled
Self-Checking, Self-Testing
Fully Object-Oriented Recursion
Generics/Templated
Reflective
Distributed/Distributable
Multi-threaded orientation
Utilizes
quantum mechanics with an emphasis on
Information Theory
Utilizes
strangeloop genetic programming
Rewriting
I plan on using something like XML as the standard declarative portion of the language, so all objects in the language can and do exist in multiple forms: map, territory, and contextual overlays. Following the
principle of least power.
I'm performing tests towards this end by implementing some of my ideas in Java.
----------------
There are no truths in science, only the falsifiable hypotheses and explanations of the people who test them.
Hyper Physics
Hyper Math
Wikipedia
