Re: Interpret haskell within haskell.

2002-12-26 Thread Eray Ozkural
On Friday 20 December 2002 03:16 pm, David Sankel wrote: I was referring to a haskell interpreter to be used within haskell code. For instance: main = do user_configuration - parseHaskell title - resolveFunction user_configuration title :: String putStr title My next language

Re: Interpret haskell within haskell.

2002-12-23 Thread oleg
Lauri Alanko wrote on Dec 22: The magic is _here_: (begin (define a 5) (eval '(set! a (+ a 1)) (interaction-environment)) a) == 6 Here (interaction-enviroment) is a run-time representation of the compile-time environment. It makes possible two-way interaction between the stages.

Re: Interpret haskell within haskell.

2002-12-22 Thread Lauri Alanko
On Fri, Dec 20, 2002 at 01:43:07PM +0100, Frank Atanassow wrote: There is quite a bit of work on staged evalution, metaprogramming, quasiquotation, reflection and run-time code generation in typed and ML-like languages. It's a very active and, IMO, promising area of research. Yes. Thanks for

Re: Interpret haskell within haskell.

2002-12-21 Thread Matt Hellige
[[EMAIL PROTECTED]] David J. Sankel wrote: I was referring to a haskell interpreter to be used within haskell code. For instance: This was exactly the gist of the message: http://www.haskell.org/pipermail/haskell-cafe/2002-September/003423.html The message gave the working

RE: Interpret haskell within haskell.

2002-12-20 Thread Simon Marlow
I was wondering if there is any project that aims to interpret haskell within haskell. Is it feasable that a program can import a user's .hs file that has something like: greeting :: String greeting = Something port :: Int port = 32 + 33 And the program can parse and execute the

Re: Interpret haskell within haskell.

2002-12-20 Thread Bill Harrison
: 2 Subject: RE: Interpret haskell within haskell. Date: Fri, 20 Dec 2002 10:04:39 - From: Simon Marlow [EMAIL PROTECTED] To: David Sankel [EMAIL PROTECTED], [EMAIL PROTECTED] I was wondering if there is any project that aims to interpret haskell within haskell. =20 Is it feasable

Re: Interpret haskell within haskell.

2002-12-20 Thread John Hughes
On Fri, 20 Dec 2002, Matt Hellige wrote: [Christopher Milton [EMAIL PROTECTED]] --- David Sankel [EMAIL PROTECTED] wrote: I was wondering if there is any project that aims to interpret haskell within haskell. [... snipped intro to ghci ...] If you have defined functions in

Re: Interpret haskell within haskell.

2002-12-20 Thread Lauri Alanko
For what it's worth, I will probably be doing my MSc thesis on adapting eval (and reflection in general) to a statically typed language. Essentially you need a run-time representation of the environment and the typing context, and a type system which groks the relationship between run-time and

Re: Interpret haskell within haskell.

2002-12-20 Thread Alastair Reid
John Hughes [EMAIL PROTECTED] writes: When I want to do this kind of thing, I use hugs as a back-end. I write the expressions I want to evaluate, or whatever, to a file of hugs commands, and then run system hugs hugsinput hugsoutput then read and process the output (choose your

Re: Interpret haskell within haskell.

2002-12-20 Thread Frank Atanassow
Lauri Alanko wrote (on 20-12-02 11:26 +0200): For what it's worth, I will probably be doing my MSc thesis on adapting eval (and reflection in general) to a statically typed language. Essentially you need a run-time representation of the environment and the typing context, and a type system

Re: Interpret haskell within haskell.

2002-12-20 Thread David Sankel
--- Christopher Milton [EMAIL PROTECTED] wrote: --- David Sankel [EMAIL PROTECTED] wrote: I was wondering if there is any project that aims to interpret haskell within haskell. http://www.haskell.org/implementations.html quote type=partial GHC, the Glasgow Haskell Compiler The

Re: Interpret haskell within haskell.

2002-12-20 Thread 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

Re: Interpret haskell within haskell.

2002-12-20 Thread oleg
David J. Sankel wrote: I was referring to a haskell interpreter to be used within haskell code. For instance: main = do user_configuration - parseHaskell title - resolveFunction user_configuration title :: String putStr title This was exactly the gist of the message:

Re: Interpret haskell within haskell.

2002-12-19 Thread Christopher Milton
--- David Sankel [EMAIL PROTECTED] wrote: I was wondering if there is any project that aims to interpret haskell within haskell. http://www.haskell.org/implementations.html quote type=partial GHC, the Glasgow Haskell Compiler The Glasgow Haskell compiler is a full implementation of

Re: Interpret haskell within haskell.

2002-12-19 Thread Matt Hellige
[Christopher Milton [EMAIL PROTECTED]] --- David Sankel [EMAIL PROTECTED] wrote: I was wondering if there is any project that aims to interpret haskell within haskell. [... snipped intro to ghci ...] If you have defined functions in myprog.hs: :load myprog.hs then the functions defined