... [Q&A about continuations] ... Yes. I know that this is useful in imperative languages, and (I imagine) behind-the-scenes implementation of functional ...
Manfred von Thun
phimvt@...
Aug 16, 2002 6:34 am
1163
... The reason to introduce the L stack was: 1. words can call continuation, that is, transfer control forward leaving the address-to-backtrack on the return...
... foo =/= bar foo == [r bar EXIT '] where [r ... '] stand for return stack nesting. Ok, we can have a language with the notation borrowed from mlg's ...
... the ... is ... programmer ... return ... that - ... I don't have your papers or the time right now to remind myself of how it all works and what || does...
The last while I've been doing some reading on reversible computing systems. It's quite a fascinating idea, really; you all might like to look at Mike Frank's...
Brent Kerby
iepos@...
Aug 21, 2002 12:57 am
1167
After a bit more thinking about this, a few more thoughts surfaced ... First, I probably didn't clearly explain the whole point of the reversibility idea. The...
Brent Kerby
iepos@...
Aug 21, 2002 5:41 pm
1168
On Wed, 21 Aug 2002, Brent Kerby wrote: [..lots of good stuff about reversible operations in a Joy-like language] Legend has it that in the 20's one of the...
Manfred von Thun
phimvt@...
Aug 23, 2002 2:12 am
1169
On Fri, 23 Aug 2002, Manfred von Thun wrote: [..] ... Here is a reasonable notation to use for the rules and for tracing the forward and reverse execution....
Manfred von Thun
phimvt@...
Aug 26, 2002 4:00 am
1170
... The main advantage I see of this "reversal stack" idea is that it allows irreversible programs to become reversible, simply by changing the interpretation...
Brent Kerby
iepos@...
Aug 26, 2002 4:11 pm
1171
Is anyone using Joy for real-world applications? If so, what are some of these? Asim...
Asim Jalis
asimjalis@...
Aug 26, 2002 6:21 pm
1172
... allows ... essence, all ... but instead ... new "zap" ... stack. ... they've always ... this kind ... consuming ... writing a loop ... done using ... The...
... Someone please correct me if I'm wrong but I don't think anyone is using Joy for any serious applications right now. I'm sure many members of this message...
... The way I see it, it doesn't really matter fundamentally whether the garbage is forced to be kept on the main stack, or on a garbage stack (i.e., where ...
Brent Kerby
iepos@...
Aug 27, 2002 1:25 am
1175
... "Slow", I can't argue with, but please note that Joy1 provides the same programming facilities as ISO (ANSI) C, with the exception of the wide-string and...
... main ... garbage. ... the garbage ... (i.e., where ... the ... move it ... programmer is ... transform ... seem to ... perhaps it ... garbage, ... ...
... What I meant by limited is that it provides no foreign language interface, no graphics, sockets, heaps of things - really foreign language interface is the...
... Hmm ... "heaps" doesn't seem accurate to me; it only takes a single "buryn" to stash a stack item to the bottom, and perhaps a word could be added ...
Brent Kerby
iepos@...
Aug 27, 2002 7:54 am
1179
... in ... manipulations ... single "buryn" ... added ... then it bury-ing is a non-trivial stack operation and shouldn't be necessary for general purpose...
... I agree, except for the unfortunate equation: FFI + Interpreter + Portability = 0 But people do write useful programs in pure ANSI C. It would be easy to...
... If I understand correctly, the laws of thermodynamics forbid the construction of such a recycler. The problem you run up against is that in a reversible...
Brent Kerby
iepos@...
Aug 27, 2002 5:21 pm
1182
... just ... generally ... of ... that in a ... necessary ... garbage, it ... thinking of ... it what ... to do it ... telling ... The only ... it. You seem to...
On Wed, 21 Aug 2002, Brent Kerby wrote: [..] ... I happened to be reading a paper by Paul Bailes: http://www.itee.uq.au/~paul/papers/F-3-txt-iee.pdf ...
Manfred von Thun
phimvt@...
Aug 30, 2002 4:32 am
1184
... That's http://www.itee.uq.edu.au/~paul/papers/F-3-txt-ieee.pdf (Moral: always copy and paste URLs, never retype them.) -- All Gaul is divided into three...
... Ooops, thanks, yes, sorry. You may not know that I still live in the early 80's, last century: VT 100 terminal, Lynx web browser, VMS operating system,...
Manfred von Thun
phimvt@...
Aug 30, 2002 5:31 am
1186
... Ouch. Can't you at least replace the terminal with some boat anchor of a PC and run a terminal program on it? -- John Cowan...
Sorry, Ivan, that this reply has taken so long ... I meant to send it much sooner, but a slight computer problem erased most of it, and so I'm rewriting it now...
Brent Kerby
iepos@...
Aug 30, 2002 6:00 pm
1188
Looks like this list has been pretty quiet for a while. So I just thought I might write up some more thoughts I've had about reversible Joy. Some of this may...
Brent Kerby
iepos@...
Sep 7, 2002 5:08 am
1189
... and both You are coupling addition with an identity operation. ... one that is ... is ... the "*" Like I said addition can be coupled with another...
... Yeah... Auxilary stacks would be very useful I think. Here's a possible starting point for the syntax: a\ Transfer an item from the main stack to the 'a'...
Brent Kerby
iepos@...
Sep 10, 2002 6:28 pm
1191
Hello Brent, Tuesday, September 10, 2002, 10:20:33 AM, you wrote: I've found the following paper: http://www.santafe.edu/projects/CompMech/papers/QAQG.html ...
