Re: FRP/FRAN vs O'Haskell

2000-05-24 Thread Johan Nordlander
Although I must have missed the original posting, I felt I'd like to add my comments to Paul's reply. "S. Alexander Jacobson" <[EMAIL PROTECTED]> writes: >> Can someone give a brief comparison of the FRP approach with >> O'Haskell? Both frameworks seem to revolve around asynchronous >> interacti

SAIG Deadline Extended to June 5th

2000-05-24 Thread Walid Taha
DEADLINE EXTENDED Semantics, Applications and Implementation of Program Generation (SAIG) ( http://www.md.chalmers.se/~taha/saig/ ) ICFP Workshop, Montreal, September 20th, 2000.

Re: Haskell -> Java bytecode?

2000-05-24 Thread Nigel Perry
At 2:07 pm +0200 24/5/00, Artur Zawlocki wrote: >Marcin 'Qrczak' Kowalczyk wrote: >> >> Wed, 24 May 2000 01:24:57 -0700, Simon Peyton-Jones >><[EMAIL PROTECTED]> pisze: >> >> > Performance will not be great. More like Hugs than GHC. >> >> Is this because of lack of optimization, or is it inhe

Re: Haskell -> Java bytecode?

2000-05-24 Thread George Russell
For MLj the answers so far as I remember are: [EMAIL PROTECTED] wrote: > > To those of you who are working on implementations: > How do you implement > > 1) tail recursion You can only do so much. The Java VM has a goto instruction but you can't jump from one virtual method to another. Things

RE: Haskell -> Java bytecode?

2000-05-24 Thread Erik Meijer
Hi Thomas, Some quick answers in addition to Nigel's > 1) tail recursion We use the usual "trampoline" trick, with a little top-level interpretative loop. Using the trick has a pleasant side effect that we can pass values on the arguments stack as well. > 2) polymorphism All type informations

Re: Haskell -> Java bytecode?

2000-05-24 Thread Thomas Hallgren
[EMAIL PROTECTED] wrote: > To those of you who are working on implementations: > How do you implement > > 1) tail recursion > 2) polymorphism > 3) closures & eval (i.e., laziness) One approach worth mentioning is described in David Wakeling: "Compiling lazy functional programs for the Java Virt

Re: Haskell -> Java bytecode?

2000-05-24 Thread Artur Zawlocki
Marcin 'Qrczak' Kowalczyk wrote: > > Wed, 24 May 2000 01:24:57 -0700, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze: > > > Performance will not be great. More like Hugs than GHC. > > Is this because of lack of optimization, or is it inherent in using > Java bytecode? I guess the poor performan

RE: Haskell -> Java bytecode?

2000-05-24 Thread Nigel Perry
At 1:40 pm +0200 24/5/00, [EMAIL PROTECTED] wrote: >To those of you who are working on implementations: >How do you implement Brief answers: >1) tail recursion return to an evaluation loop (called "trampoline" by some?) >2) polymorphism Object >3) closures & eval (i.e., laziness) Local (ano

RE: Haskell -> Java bytecode?

2000-05-24 Thread johnsson
To those of you who are working on implementations: How do you implement 1) tail recursion 2) polymorphism 3) closures & eval (i.e., laziness) Thanks, --Thomas Johnsson

Re: Haskell -> Java bytecode?

2000-05-24 Thread Marcin 'Qrczak' Kowalczyk
Wed, 24 May 2000 01:24:57 -0700, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze: > Performance will not be great. More like Hugs than GHC. Is this because of lack of optimization, or is it inherent in using Java bytecode? -- __("

RE: Haskell -> Java bytecode?

2000-05-24 Thread Erik Meijer
Dear fellow Haskellers and Haskellettes, If you want to write Applets in Haskell there is no need to *compile* Haskell to Java. A better option is probably to use Lambada, which gives you a bidirectional interface between Haskell and Java. In other words with Lambada you can call Java from Haskel

Re: Haskell -> Java bytecode?

2000-05-24 Thread George Russell
Johannes Waldmann wrote: > > Wouldn't it be nice if there were a Haskell compiler backend > that produced Java bytecode? Then I could write applets > in my favourite language, compile them, put them on my web page, > and everyone could execute them in their browser... > > Seriously, is there any

RE: Haskell -> Java bytecode?

2000-05-24 Thread Kwanghoon Choi
My colleague and I have developed a STG-to-Java compiler, hopefully as a backend of GHC. We defined our own syntax of the STG language. For several small Haskell programs, we could translate them into those in our own syntax, and we could run them with no difficulty. Our compiler works well fo

Re: Haskell -> Java bytecode?

2000-05-24 Thread Johannes Waldmann
> I would pose a different question: could you tell us *what kind > of applets* would you like to write in a pure lazy language, why > it would be more pleasant than Java (or Tcl/Tk, or ...) What applets do I want? They should illustrate concepts that we (*) teach in basic theoretical computer sc

Re: Haskell -> Java bytecode?

2000-05-24 Thread Jerzy Karczmarczuk
Johannes Waldmann: > Wouldn't it be nice if there were a Haskell compiler backend > that produced Java bytecode? Then I could write applets > in my favourite language, compile them, put them on my web page, > and everyone could execute them in their browser... > > Seriously, is there any work in

RE: Haskell -> Java bytecode?

2000-05-24 Thread Simon Peyton-Jones
GHC has a Java back end in development. You say ghc -J Foo.hs to produce Foo.java. It doesn't work properly yet (library and I/O issues mainly). But Erik Meijer, Nigel Perry and Andy Gill are actively working on it. So it'll work soon. Performance will not be great. More like Hugs than GHC.

Haskell -> Java bytecode?

2000-05-24 Thread Johannes Waldmann
Wouldn't it be nice if there were a Haskell compiler backend that produced Java bytecode? Then I could write applets in my favourite language, compile them, put them on my web page, and everyone could execute them in their browser... Seriously, is there any work in that direction? Surely someone