This workbench serves to improve and advance the Emerald programming environment. Out of purely divine considerations (i.e., for no well-founded reason what-so-ever), TeMPLE is currently written in Haskell.
First and foremost, I am working on a re-implementation of the Emerald compiler and runtime.
After all, there already exist several Emerald implementations.
For now, the reasoning is three-fold:
First, while the Emerald programming language offers an interesting programming model, it does so with an arcane syntax, semantics, and implementation. This repository seeks to provide a more up-to-date (as of 2018-2019) implementation of the Emerald programming methodology.
Second, the old Emerald compiler is written in Emerald (i.e., it is a bootstrapped compiler). This is excellent news—we can be more confident in that Emerald is a truly general-purpose language. However, the original, non-Emerald implementation of Emerald, from which Emerald was bootstrapped, is no longer available. This poses a problem, since to run Emerald, you have to rely on a binary compiled by someone, some time long ago, and which has been lying around on the Internet since.
To resolve this dilemma, this repository also seeks to provide a re-implementation of classical Emerald. The (double) litmus test will be to see if this compiler can compile the old Emerald compiler to an equivalent binary, and whether both compilers produce equivalent binaries for some comprehensive suite of test-programs. If so, we will have re-bootstrapped Emerald, and can proceed with confidence to improve and advance the Emerald programming environment.
Third, the tests developed for this compiler, can serve as additional tests for the original Emerald compiler. Gradually, this will help increase confidence in the quality of the numerous Emerald implementations.
"Stack is a cross-platform program for developing Haskell projects." - The Haskell Tool Stack Documentation
stack build
stack test
stack test --test-arguments --quickcheck-replay=<seed>
stack test --test-arguments --quickcheck-verbose
stack test --coverage
Start up GHCi with the source files loaded:
stack ghci
Start up GHCi with the test files loaded:
stack ghci Emerald:Emerald-test
Haddock is a popular documentation generator for Haskell.
TEmPLE source code, for the time being, is only sporadically decorated with haddock annotations. However, automatically generated documentation can provide for an alternative overview of the code.
You can generate the documentation as follows:
stack haddock
This will generate some HTML-based documentation located roughly at:
.stack-work/dist/.../doc/html/Emerald/index.html
For a description of the haddock annotation language, see this.