HLL Standard Library 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, Common Lisp, Scheme, Haskell, Java, C, C++, etc, must be systematically plundered for 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.
- The standard library items should be polymorphic however possible, so that they can be used interchangeably where the abstract type is the same. Ideally, the evaluator system should be able to choose these independently of the code specification, but there should also be a reflective communication system to override the default behavior of that mechanism. See AP5.