The Tunes HLL Subproject
As you may see, the HLL subproject is still in a draft process :(
but it's also quickly evolving. Feel free to contribute !
Recent changes:
Contents of the HLL Subproject
Here are the current contents of this HLL project:
- Firstly, the Goals of the subproject, and
- A Plan about how we intend to implement the HLL.
- Second, the Requirements
for this HLL's semantics
- Then, a definition of the HLL
Semantics
- The beginning of our standard minimal
Syntax.
- Examples that
demonstrate the HLL's superiority.
- A list of
Sub-Subprojects
below the HLL.
- Currently no Implementation code, but soon !
Subproject Goals
The goals of this HLL
Subproject
are
- to find a High-Level Language that will fulfill all the semantical
requirements
to be used as the standard language for Tunes;
- if no such language exists yet, to design yet a new one for this purpose
- After having found the language, to implement it inside the Tunes
system.
- Support that language and its implementations.
- write tools and documentation to help that language develop.
Plan
- The HLL-, a restricted version of the HLL,
will first be implemented as an s-exp interpreter
written in Scheme.
See directory src/HLL/scm in the Tunes distribution.
- Then, a HLL- compiler will be written in HLL-,
to produce binary output for the target platforms,
linkable to what the LLL project produces.
- Eventually, all of the LLL code will be integrated inside
the HLL code as "inline assembly" and such, to ease manipulation,
and compile from Tunes to Tunes.
- This plan allows the HLL and LLL efforts to be led independently
until they can help each other.
To Do on this page
- Find all HLL requirements.
- Find all conceptual problems.
- Identify possible candidates (languages)
and state their virtues and shortcomings.
- Make first proposals for such languages or a new one.
- Divide into subfiles.
- Define separately semantics & syntax
- Find out how multiple type systems can be made compatible...
- Find some nice semantics for annotations...
- Separate annotation mechanisms from annotation resolving policies...
- Add pointers to both original page and local copy
- Wow, Paul Wilson's RScheme project does most of what Tunes wants!!!
However, it does not tackle the proof part.
- On the other hand, NuPRL seems pretty advanced as of the proof part.
(also see Isabelle and Coq).
You may also want to
Subproject coordinator:
Faré
-- rideau@clipper.ens.fr