HLL examples
How our HLL is superior to any other language
Writing Generic Algorithms:
the Sieve of Eratosthene
Using annotations
more to come on:
- programming with active annotations
(including powerful parsing)
- self-extending the language
(including mixing syntaxes)
- implicit programming
(including logical programming)
- program proofs
(including strong typing)
- Incremental programming with annotations
(including incremental proofs).
- optimization through annotations
(including using assembly)
- customizing programs
(including UI interface)
- isolating modules
(including securing objects)
-
- The HLL as an interactive shell
(including a graphic or voice interface)
- The HLL as a scripting language
(including event programming)
- The HLL as an structure editor
(including text processing)
- The HLL as a database language
(including 4GL queries)
- The HLL as a basis for natural language interfaces
(including knowledge databases)
Real-Life examples:
- Writing a generic version of the Ziv-Lempel compression algorithm,
and used to independently specialize the encoding
(to code/decode LZ77, LZH, LZW, GIF and other formats)
and tune the implementation (optimizing encode table caching)
To Do on this page
Do put all those examples to illustrate the language
Find all kind of programming paradigms to illustrate.
Find examples from all other languages
Show our way to meta-self-extend so as to better any other language
Show use of the standard libraries
Show standard interfaces to the hardware
You may want to
Go back to the Tunes HLL Subproject.
(including languages that were intended)
Page maintainer:
Faré
-- rideau@clipper.ens.fr