The Tunes HLL stdlib Subproject
As you may see, the HLL stdlib subproject is still in a draft process :(
but it's also quickly evolving. Feel free to contribute !
Contents of the HLL stdlib Subproject
Here are the current contents of this HLL project:
- Firstly, the Goals of the subproject, and
- A Plan about how we intend to implement the HLL.
- Currently no Implementation code, but soon !
Subproject Goals
-
The goals of this HLL stdlib
Subproject
are to provide
a frame where all common algorithms are
to be written once and for all,
instead of requiring everyone to reinvent incompatible wheels,
and redundantly load the overall network traffic with these copies.
This implies automatic world-wide unique identification of objects,
and constitution of institutions
to promote some objects as "standard".
-
Not goals
Note that while the stdlib would be a repository for all kind of code,
and the locus where to deposit well-known algorithms as adapted to the HLL,
the development of new code is not part of the stdlib project itself.
Hence,
-
the core of first necessity objects for Tunes
to access available hardware and software standards,
will be developped in the corresponding LLL subprojects.
-
tools for translating old legacy code into useful HLL programs,
or otherwise meta-programming, belong to the distinct
metatranslator subproject;
-
providing Interfaces to human and computer users is the topic of the
Interfaces subproject;
- and so on.
Plan
-
Here are the first components to provide:
- A basic interface to text-based video and keyboard consoles
- Exchange between an implicit persistent store
Of course, during their development,
other more abstract objects from the below lists will be codeveloped.
-
Standard libraries from languages like
OCaml, CommonLISP, Scheme, Java, C, C++, etc,
must be systematically stolen from the interesting functions
that may lie in them.
-
All the data structures, algorithms, proofs, and proof techniques
from Donald Knuth's "The Art of Computer Programming"
and similar well-known books
should eventually make it to the standard library.
To Do on this page
You may also want to
Subproject coordinator:
Faré
-- rideau@clipper.ens.fr