Experimental reflective programming system written in GHC

A programming system can be defined as an environment in which one can input programs and execute goals. Two approaches to enhancing meta-interpreters, namely, meta-extension and reflective-extension, are described. They are then combined and reflective operations on such meta-interpreters are discussed. An experimental reflective programming system (ExReps) based on these meta-interpretation techniques, is described. The whole system consists of two layers, a distributed abstract machine layer and an execution system layer, both of which are totally written in the parallel logic language GHC. Two examples are given of reflective programming: load balancing and dynamic reduction count control. An example is also given of an actual program execution on ExReps.