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