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 !


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

  • Thirdly, a Review of existing languages (including reasons to have a new one, and how it should compare to these)

  • 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.


    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


    You may also want to

  • look at other related works (including languages that were intended)
  • Descend to the Subproject tree
  • or go back to the main Tunes page.r


    Subproject coordinator:
    Faré -- rideau@clipper.ens.fr