Interpret haskell within haskell.

[Nicolas Oury]

Hello,
I am not sure to be relevant but I think :

* This kind of thing would be very useful in Haskell, as this language 
has shown to be very usable to model foreign problems and do Domain 
Specific Language. It would, for example, allow to use a domain 
specific  haskell script in an Haskell program.
(For example, a DSL allowing to 	move a turtle on the screen and an 
haskell application showing the behavior of the turtle we have 
programmed. ) I think as soon someone want to script his application 
written in Haskell, he wants to script it using Haskell.

*  This feature should also allow to load a compiled haskell file to 
allow better performance by compiling scripts

* I think these kinds of things are possible with a dirty hack  : 
compile the script with ghc and dynamically load the .o file using
Andre Pang's runtime loading.  (can be found here 
http://www.algorithm.com.au/wiki/hacking/haskell.ghc_runtime_loading)
This last solution is not type safe, but usable.


Hope that can help,
Cheers,

Nicolas Oury