On Fri, 30 May 2003, stevan apter wrote: [..] ... I see what is happening. The treemap combinator is actually defined in the sequence library "seqlib.joy"....
On Sat, 31 May 2003, stevan apter wrote: [..] ... I have used continuations twice in Joy libraries: in the propositional logic tableaux library 'plglib.joy',...
thanks - that worked. JOY - compiled at 15:46:02 on May 13 2003 (NOBDW) Copyright 2001 by Manfred von Thun usrlib is loaded inilib is loaded agglib is...
stevan apter
sa@...
Jun 2, 2003 11:33 am
1499
... From: <phimvt@...> To: <concatenative@yahoogroups.com> Sent: Monday, June 02, 2003 12:00 AM Subject: Re: [stack] Re: K for Joy Programmers...
stevan apter
sa@...
Jun 2, 2003 12:03 pm
1500
... Because not only the rest of the current quotation, but the rest of all quotations in which it is nested, is the value of conts, which is why it is conts,...
... you put your finger on it - structured data, but not necessarily confined to syntax trees. for example, in our app, the definition of a simulation will...
stevan apter
sa@...
Jun 2, 2003 12:52 pm
1502
... Another excellent example is HTML, which can be readily understood as a non-homogeneous tree: [[p "This is a simple text."] [p "This is an " [em...
but i guess the point of manfred's question is, where do you encounter trees which you would want to process with the tree combinators? that would seem to...
stevan apter
sa@...
Jun 2, 2003 1:22 pm
1504
... Just so. Thus a good use of treemap would be to extract a list of strings (easily transformed to a single string) from an HTML text. -- John Cowan...
i suppose my answer at this point has to be: why draw the distinction in the first place (between trees and other non-tree lists of .. lists)? there are atoms...
stevan apter
sa@...
Jun 2, 2003 11:03 pm
1506
2 3 conts putln + . [[+]] 5 why isn't conts [[putln +]] is 'putln' filtered as an assist to debugging when programming with continuations? i.e. as a...
stevan apter
sa@...
Jun 2, 2003 11:55 pm
1507
... I know you asked John, but here's my take on it. To recur is to do again; however, to recurse is to step into a nested structure FIRST, then repeat. ...
... I think because when putln executes the continuation has been changed; i.e. conts does not really *save* the continuation. My naive Scheme implementation ...
... From: "John Cowan" <cowan@...> To: <concatenative@yahoogroups.com> Sent: Tuesday, June 03, 2003 2:44 PM Subject: Re: [stack] conts ... ck works as i...
stevan apter
sa@...
Jun 3, 2003 11:36 pm
1511
... Looking at interp.c:198 the current implementation of conts_() is: PUSH(conts_,LIST_NEWNODE,LIST_NEWNODE(conts->u.lis->next,conts->next)) Changing this to:...
... coroutines? i've seen the following problem posed in this context. you've got a program which recurses through a tree and prints each leaf prefixed by...
stevan apter
sa@...
Jun 4, 2003 12:00 pm
1513
... From the reponses to my question I gather that I must reformulate it. Of course Joy has trees as a data structure because lists are allowed to contain...
... I see. Yes, the word "homogeneous" was missing from my question. I had it in mind. In your example below most processing would be required to treat the 'p'...
... I can see that my definition of 'leaf' should really include symbols. So the HTML example is a case of non-homogeneous trees. Otherwise, if 'leaf'...
... As I had it in mind, homogenous lists of homogeneous lists ... are indeed trees, but some trees are inhomogeneous at arbitrary levels. ... Exactly my...
No, don't worry. I haven't abandoned the Joy of the stack. But for years I have had a simple idea about using a queue for evaluating expressions. I never wrote...
... This is very fascinating. Billy and I have considered queue-based languages in the past, but have never gotten to the point of being able to define how it...
... Attached is a by-the-book implementation in Scheme of your algorithm. To try it out, make sure getprop, putprop, and error are implemented in your favorite...
i've written a little k resolution theorem prover (for the propositional calculus only): http://www.nsl.com/k/resolve.k i've designed the functions with an eye...
stevan apter
sa@...
Jun 7, 2003 2:52 am
1522
... Maybe someone has asked this question before, but is there a *GOOD* quality introduction to K? I can't read it in full right now because of other ...
Please ignore this post, unless you sent me a private email with the above subject. This is just a courtesy reply. I responded to your email only today, sorry....
... [..] ... You are right, of course. I have a very vague recollection (5 years ago) that your proposal was actually my first solution, but that I changed it...
... [..] ... [..] ... Yes, maybe. The kind of explicit continuation that I have used for backtracking would probably not be useful here. Another example, this...
