The Tunes HLL Syntax
General concepts
See the Semantics...
- Objects
- Attributes
- Context
- Active annotations
- Access rights
- Typing
- Proofs
- Security
- Compactness
Standard Basic constructors
- Applying Functions
- Abstracting terms
- Defining typed constructors
- Evaluation strategy
- .....
Standard Library of language extensions
That's worth a whole subproject...
Syntactic Difficulties
- The most difficult here is to agree.
- We must keep the syntax as simple as possible.
- It must also be compact, with no unneeded redundances.
- redundances are allowed to verify structure matching as in
- begin ... end
- if ... then ... elif ... elseif ... else ... {endif}
- for ... in ... do ...
- the sources must be human-writable and human-readable.
- What about having a mode where indentation is a structure indicator ?
- We may embed any syntax in any other with standard tools.
- What syntax for macros and reflexivity ?
To Do on this page
Make first proposals.
Propose simultaneously multiple syntaxes:
C-ish
Dylan-ish
LISP-ish
FORTH-ish
ML-ish
CECIL-ish
NL-ish
Allow meaningful indentation on any syntax
Think about how to embed syntaxes in each other
Settle full HLL syntax.
Be faithful to the semantics.
Wait for feedback, as usual.
See the Tunes HLL Semantics.
Back to the Tunes
HLL Subproject.
Page Maintainer:
Faré
-- rideau@clipper.ens.fr