... [Q&A about continuations] ... Yes. I know that this is useful in imperative languages, and (I imagine) behind-the-scenes implementation of functional ...
1163
m_l_g3
Aug 18, 2002 6:48 pm
... 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...
1164
m_l_g3
Aug 18, 2002 7:03 pm
... 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 ...
1165
e1_t
Aug 19, 2002 12:16 am
... 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...
1166
Brent Kerby
iepos@...
Aug 21, 2002 12:57 am
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...
1167
Brent Kerby
iepos@...
Aug 21, 2002 5:41 pm
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...
1168
Manfred von Thun
phimvt@...
Aug 23, 2002 2:12 am
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...
1169
Manfred von Thun
phimvt@...
Aug 26, 2002 4:00 am
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....
1170
Brent Kerby
iepos@...
Aug 26, 2002 4:11 pm
... The main advantage I see of this "reversal stack" idea is that it allows irreversible programs to become reversible, simply by changing the interpretation...
1171
Asim Jalis
asimjalis@...
Aug 26, 2002 6:21 pm
Is anyone using Joy for real-world applications? If so, what are some of these? Asim...
1172
e1_t
Aug 26, 2002 11:49 pm
... allows ... essence, all ... but instead ... new "zap" ... stack. ... they've always ... this kind ... consuming ... writing a loop ... done using ... The...
1173
e1_t
Aug 27, 2002 12:09 am
... 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...
1174
Brent Kerby
iepos@...
Aug 27, 2002 1:25 am
... 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 ...
1175
John Cowan
johnwcowan
Aug 27, 2002 2:08 am
... "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...
1176
e1_t
Aug 27, 2002 3:41 am
... main ... garbage. ... the garbage ... (i.e., where ... the ... move it ... programmer is ... transform ... seem to ... perhaps it ... garbage, ... ...
1177
e1_t
Aug 27, 2002 3:47 am
... 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...
1178
Brent Kerby
iepos@...
Aug 27, 2002 7:54 am
... 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 ...
1179
e1_t
Aug 27, 2002 9:12 am
... in ... manipulations ... single "buryn" ... added ... then it bury-ing is a non-trivial stack operation and shouldn't be necessary for general purpose...
1180
John Cowan
johnwcowan
Aug 27, 2002 3:36 pm
... 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...
1181
Brent Kerby
iepos@...
Aug 27, 2002 5:21 pm
... 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...
1182
e1_t
Aug 27, 2002 11:29 pm
... just ... generally ... of ... that in a ... necessary ... garbage, it ... thinking of ... it what ... to do it ... telling ... The only ... it. You seem to...
1183
Manfred von Thun
phimvt@...
Aug 30, 2002 4:32 am
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 ...
1184
John Cowan
johnwcowan
Aug 30, 2002 5:17 am
... 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...
1185
Manfred von Thun
phimvt@...
Aug 30, 2002 5:31 am
... 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,...
1186
John Cowan
johnwcowan
Aug 30, 2002 5:51 am
... 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...
1187
Brent Kerby
iepos@...
Aug 30, 2002 6:00 pm
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...
1188
Brent Kerby
iepos@...
Sep 7, 2002 5:08 am
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...
1189
Ivan Tomac
e1_t
Sep 10, 2002 6:35 am
... and both You are coupling addition with an identity operation. ... one that is ... is ... the "*" Like I said addition can be coupled with another...
1190
Brent Kerby
iepos@...
Sep 10, 2002 6:28 pm
... 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'...
1191
Serguey Zefirov
sz@...
Sep 11, 2002 12:39 pm
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 ...