Salutations!<br><br><br><br>What options are there for a pure language interpreter, suitable for testing extensions and generalizations? ...basically an "eval" function performing graph reduction on abstract program representation, implemented in a unified fashion.
<br><br><br>Some possibly interesting ones<br><br>Curry -- <a href="http://www.informatik.uni-kiel.de/~pakcs/cider/">http://www.informatik.uni-kiel.de/~pakcs/cider/</a> -- in Curry<br>Epigram -- <a href="http://e-pig.org/">
http://e-pig.org/</a> -- in Haskell<br>SAPL -- <a href="http://www.st.cs.ru.nl/papers/2007/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf">http://www.st.cs.ru.nl/papers/2007/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf
</a> -- Haskell version is mentioned<br>Esther -- included with Clean ( Clean 2.2\Libraries\Hilde )<br><br>What else?<br><br><br><br>Thank you in advance!<br>