automatic recompilation/re-execution?

In the mailing list announcement, one of the potential uses of this library is "automatic recompilation/re-execution." This sounds very interesting, is there more information? Is this at all similar to "Living it up with a Live Programming Language" [http://lambda-the-ultimate.org/node/2149] ? Also, are there any tutorials that show how this library can be used (rather than just explaining semantics)? Thanks

On Mon, Nov 10, 2008 at 11:27 AM, Shahbaz
In the mailing list announcement, one of the potential uses of this library is "automatic recompilation/re-execution." This sounds very interesting, is there more information? Is this at all similar to "Living it up with a Live Programming Language" [http://lambda-the-ultimate.org/node/2149] ?
Conal could probably elaborate further on that one, but he may be referring to Eros [http://www.haskell.org/haskellwiki/Eros]. Eros is a system where there is no distinction between written code and running code.
Also, are there any tutorials that show how this library can be used (rather than just explaining semantics)?
Indeed! I'm writing a set of tutorials and the first is already available. http://netsuperbrain.com/blog/posts/introducing-reactive-events/ David -- David Sankel Sankel Software www.sankelsoftware.com

On Mon, Nov 10, 2008 at 11:32 AM, David Sankel
On Mon, Nov 10, 2008 at 11:27 AM, Shahbaz
wrote: In the mailing list announcement, one of the potential uses of this library is "automatic recompilation/re-execution." This sounds very interesting, is there more information? Is this at all similar to "Living it up with a Live Programming Language" [http://lambda-the-ultimate.org/node/2149] ?
Conal could probably elaborate further on that one, but he may be referring to Eros [http://www.haskell.org/haskellwiki/Eros]. Eros is a system where there is no distinction between written code and running code.
Also, are there any tutorials that show how this library can be used (rather than just explaining semantics)?
Indeed! I'm writing a set of tutorials and the first is already available.
http://netsuperbrain.com/blog/posts/introducing-reactive-events/
Nice! I actually hadn't seen this before. I'm looking forward to seeing the rest. Whenever a few issues are fixed up, I'll hopefully be able to publish my code for a set of physics examples & a couple of simple games. Although, I probably could port over my SDL Tetris clone to FieldTrip + Reactive already as it doesn't need any diff eq's.

The "automatic recompilation/re-execution" thing is an idea I've been
kicking around for a couple of years. Compilers and linkers are (mostly)
pure functions, and can be decomposed in to simpler pure functions. Source
code, object code, executables, sample input data, and sample output data
are all time-varying values. So a subset of Reactive could be used to
automatically recompile, relink, and re-execute. The result would be a more
accurate/efficient version of 'make' without the possibility of incorrect
rules.
- Conal
On Mon, Nov 10, 2008 at 8:27 AM, Shahbaz
In the mailing list announcement, one of the potential uses of this library is "automatic recompilation/re-execution." This sounds very interesting, is there more information? Is this at all similar to "Living it up with a Live Programming Language" [http://lambda-the-ultimate.org/node/2149] ?
Also, are there any tutorials that show how this library can be used (rather than just explaining semantics)?
Thanks _______________________________________________ Reactive mailing list Reactive@haskell.org http://www.haskell.org/mailman/listinfo/reactive
participants (4)
-
Conal Elliott
-
Creighton Hogg
-
David Sankel
-
Shahbaz