The Tunes HLL Subproject
(Last modified Saturday January 21th 1995)
Contents of the HLL Subproject
Here are the current contents of this HLL project:
Firstly, the goals of the subproject
Second, the requirements
for this HLL's semantics
Then, a first sketch of the HLL
semantics
Still no syntax
Even less examples
Not to talk about actual implementation code !
However, there is already a list of
Sub-Subprojects below the HLL.
As you see, the HLL subproject is still in a draft process :(
Feel free to contribute !
You may also want to look at
other related works (including
languages that were intended)
or go back to the main Tunes page,
or to the Tunes Subproject page.
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.
HLL Sub-Subprojects
The standard library subproject
Its goal is to design and implement a library that will
standardize access to any and all common computing.
This goal is so vague it can encompass anything; thus, this
project will most certainly have many subprojects, and will
cooperate with many other projects.
Currently not maintained.
The metatranslator subproject
Its goal is to design and implement generic tools to integrate
the Tunes HLL with objects (in source or binary form) from other universes,
or other contexts in the Tunes HLL.
Currently unmaintained by
Faré
(rideau@clipper.ens.fr)
The C translator subproject
Its goal is to design and implement tools to transform programs
written in C into well-behaved programs in the Tunes HLL, with
program-dependent customizable context. Instances would allow
(semi) automatic translation of C source for Unix (or even
device drivers from, say, VSTa or Linux) into HLL modules.
Currently unmaintained by
Faré
(rideau@clipper.ens.fr)
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...
Back to the
Tunes Home page.
Page Maintainer:
Faré
-- rideau@clipper.ens.fr