Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/annenkov/stratego-sll

An interpreter and minimal supercompiler for simple lazy language (first-order functional language) written in Stratego transformation language (Spoofax language workbench).
https://github.com/annenkov/stratego-sll

Last synced: 9 days ago
JSON representation

An interpreter and minimal supercompiler for simple lazy language (first-order functional language) written in Stratego transformation language (Spoofax language workbench).

Awesome Lists containing this project

README 

        
===========================================================

Simple Lazy Language: interpreter and minimal supercompiler

===========================================================



What is it

----------

This project has several goals.



* use strategic term rewriting as DSL for program transformation to build interpreter and supercompiler (explore pros and cons);

* reuse interpreter (or it's parts) to write configuration tree builder;

* build environment to experiment with supercompiler.



Running the project

-------------------

1. You need Eclipse. Tested for Eclipse 3.5.0 (Helios) and 4.2.0 (Juno)

2. Install Spoofax 1.1 (use "Help/Install New Software...", update site URL: http://download.spoofax.org/update/stable/). Details `here `_

3. Clone this project and add to workspace.

4. Build project (from menu "Project/Build Project" or right-click on build.main.xml and choose "Run as/Ant Build")

5. Now you can run examples from "test" folder.



Eclipse can mark some files with errors even after successful build. But when you open such files this mark goes away. I think, it's a Spoofax issue.



Simple Lazy Language (SLL)

--------------------------

This project is inspired by minimal supercompiler written in Haskell [1]_. Language considered in the project is "Simple Lazy Language" - a first-order functional language that corresponds to M\ :sub:`0` \ language from [2]_.



Spoofax and Startego

--------------------

Spoofax Language Workbench [3]_ used as primary tool for writing interpreter and supercompiler. Spoofax is based on Stratego, which is a transformation language with programmable rewriting strategies and Syntax Definition Formalism, as language for grammar definition.

Spoofax works on Eclipse platform and allows one to create full-featured IDE plugin with syntax highlighting, perform semantic analysis and context completion.



.. image:: https://github.com/annenkov/stratego-sll/raw/master/docs/media/sll-editor.png



You can run, trace, apply transformations to source program and immediately get the result.



.. image:: https://github.com/annenkov/stratego-sll/raw/master/docs/media/sll-editor-run.png

.. image:: https://github.com/annenkov/stratego-sll/raw/master/docs/media/sll-editor-deforest.png



As a result of transformation (deforestation, for example) you get another program that can be ran from the same "Transformation" menu.



Already done

------------

* interpreter

* tracer(as list of interpreter steps)

* configuration tree building/folding

* configuration generalization

* positive information propagation

* program generation

* deforestation



To be done

----------

* explicit parameterization of configuration tree builder by folding strategy



Stratego pros and cons

----------------------

Pros

~~~~

It's convenient to build rewriting interpreters. See, for example [4]_.

Configuration tree manipulations also very convenient with generic rewriting strategies.



   For example, simplification used to deforest program::



      simplify = ?t; bottomup(try(remove-transient(|t)))



      remove-transient(|p): Node(t, Transient(n)) -> n

      where

           p



      is-base(|t) = collect-one(?Fold(t, _))



Great support from Spoofax and Eclipse environment.



Cons

~~~~



Dynamic typing. Some times I felt that some typing discipline would be helpful.

But here we have some interesting alternatives:



* `Kiama (Scala library) `_

* `KURE (Haskell library) `_



Poorly documented some features - dynamic rules, Name Binding Analysis (NaBL).



Configuration graph vizualization

---------------------------------



Configuration graph can be translated to DOT-format. This format can be used to vizualaze graph in GraphViz and related tools.

One can use Eclipse Zest Plugin (http://wiki.eclipse.org/Zest/DOT) to view DOT files.



.. image:: https://github.com/annenkov/stratego-sll/raw/master/docs/media/dot-graph.png



Another way is to install GraphViz and use dot tool directly. For example, in Ubuntu one can install GraphViz using apt-get::



   sudo apt-get install graphviz



To generate, for example, jpeg image use following command::



   dot  -Tjpg -o



Refactorings

------------

Two kind of automatic refactorings for SLL language are implemented:

* rename

* extract function



The second one has experimental checking of equality of programs before and after refactoring using supercompilation.

For further information see `Refactorings `_



References

----------

.. [1] Ilya Klyuchnikov. The ideas and methods of supercompilation. `Practice of Functional Programming `_, 7, 2011. In Russian.

.. [2] Sørensen M. H.— Turchin’s Supercompiler Revisited: an Operational Theory of Positive Information Propagation. — Master’s thesis, Københavns Universitet, Datalogisk Institut, 1994.

.. [3] http://strategoxt.org/Spoofax

.. [4] Eelco Dolstra, Eelco Visser. `Building Interpreters with Rewriting Strategies `_