The House That Jack Built
index.htm - Russian text
JackHouse.zip - archived directory, in which four subdirectories about all necessary for four examples are contained.
Here speech will go at once about two supercompilers, about the supercompiler for Refal and about the supercompiler for Java.
Very long time ago I was write the program on Refal, which prints the text by all of a known fairy tale about Repka skazka.txt. Arguments of this program was the list of the operating persons: dedka, babka and so on.
In past year I have tried supercompiler this program skazka.ref. The experiment was completed safely, in outcome the trivial program r_skazka.ref , was received which consists of printing lines of a fairy tale. In the residual program r_skazka.ref Russian characters are encoded, therefore she is poorly visible.
Andrey Nemytych has iterated experiment for a poem "The House That Jack Built" in English. The program JackHouse.ref supercompiler in the residual program r_JackHouse.ref. The original of a poem JackHouse.txt can be seen to the address http://www.crossmyt.com/hc/linghebr/daedljak.html.
I have iterated this program for the supercompiler of Java. Has iterated in the sense that simply "has written off" the program on Refal, including names of functions and variables. The program on Refak is commented out at the end of the program JackHouse.java.
In the program there is a recursion, which safely has turned. Couplets are generated in the return order, as on Refal. Just as on Refal, in the residual program JackHouse.js nothing remained from the source program, except for printing.
It is dearly to look at this Java-program - Refal, and only
After that I have received from Arkady Klimov the letter, in which they wrote.
She can and is similar on initial Refal-prodramm, but I am rather long to understand, that there is wound. And consequently was decided to write the varia swift2.java, which to me попонятнее. Outcome same and supercompiler as swift2.js. Besides I have added some definitions (below) to preform the class for a dynamic specialization (on the parameter numberOfCouplets). Their usages while are commented out. But tried: through them too it is normal supercompiler (at concrete n).