GitHub - dkrustev/sc-mini: SC Mini is a "minimal" positive supercompiler

dkrustev / sc-mini Public

forked from ilya-klyuchnikov/sc-mini

Notifications You must be signed in to change notification settings
Fork 0
Star 0

SC Mini is a "minimal" positive supercompiler

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 72 Commits
.gitignore		.gitignore
Data.hs		Data.hs
DataIO.hs		DataIO.hs
DataUtil.hs		DataUtil.hs
Deforester.hs		Deforester.hs
Demonstration.hs		Demonstration.hs
Driving.hs		Driving.hs
Folding.hs		Folding.hs
Generator.hs		Generator.hs
Interpreter.hs		Interpreter.hs
Prototype.hs		Prototype.hs
Supercompiler.hs		Supercompiler.hs
TreeInterpreter.hs		TreeInterpreter.hs
readme		readme

Repository files navigation

This is the minimal supercompiler. 
The goal is to stress the main features of supercompilation for a working functional programmer.
Its design is an attempt to illustrate the following formula:
	
    Supercompiler = Driving + Positive info propagation + Folding + Simplification + Generalization
	
However, it turns out to be not so easy task. So here we illustrate this formula step by step:

1) Prototype = Driving + Generalization + Folding
2) Deforester = Prototype + Simplification of graph of configurations
3) Supercompiler = Deforester + Positive Information Propagation

In order to catch the idea of this supercompiler, just look into the following modules into the following order:

1) Prototype
2) Deforester
3) Supercompiler