|
This is an Eidola kernel implemented in Java. It presents a (hopefully) reasonable standard for
structuring a kernel, which may one day guide other implementations. It will form the foundation for
the first work on Eidola notations. And, in the meantime, it gives us something concrete (albeit
low-level) to poke at.
Note that the reference implementation is not a complete programming language, because:
- It includes only the kernel, not any notations.
In a representation-independent language like Eidola, the internal form in which the
computer works with a program (the kernel) is separate from the forms which humans see
(notations). There are currently no Eidola notations, so you can't really edit Eidola
programs. There is just a really dumb command-line interface designed for testing the
kernel API.
- Eidola itself is not yet a complete programming language.
The only solid parts of Eidola are high-level program structure and typing. The
algorithmic semantics don't exist yet. In other words, you can't make programs that
actually do anything.
|