The Tunes HLL- Subproject
For bootstrap purposes, we need a subset of the HLL
that we can easily implement.
Let's define the minimalistic HLL- core.
Syntax:
we want to keep the syntax as trivial as possible,
so that initial lexing and parsing be not a problem.
There are two kinds of obvious choices:
one is do like FORTH -- trivial lexing, trivial parsing:
the system tokenizes one word and executes the according code to parse it.
But that's very low-level and if the only standard,
yields dirty reflectivity.
The other is to do like LISP -- easy lexing, easy parsing:
the source is made of constructed objects,
with a trivial s-exp constructor syntax.
Semantics:
We want to have
* structures, i.e. constructors
* reduction/evaluation contexts, i.e. destructors
* logical constraints on objects
* modular scoping
* absorption and reification of features, i.e. ???
Then we can define everything we want.
So.
First, we should allow the definition of new constructors.
We'll keep
The big question is: HOW WILL REIFICATION/ABSORPTION WORK?
You may also want to
Go up to the
HLL subproject
subproject
go to the Tunes Subproject tree
or go back to the main Tunes page.
Subproject coordinator:
Faré
-- rideau@clipper.ens.fr