Let me explain what I think is the conventional usage of these terms, at least in the literature that I am familiar with. In formal language theory a language...
Manfred von Thun
phimvt@...
Feb 1, 2002 9:13 am
993
Hello Billy, ... BT> How can you possibly have a stack of unparsed words? That's a contradiction BT> in terms. "Unparsed" means that the text hasn't been...
Serguey Zefirov
sz@...
Feb 1, 2002 1:33 pm
994
... ... I failed to mention that I needed to make two small changes elsewhere: 1. interp.c - a new operator "case", a sort of cross between "opcase" and...
Manfred von Thun
phimvt@...
Feb 2, 2002 12:50 am
995
... In my opinion it is a good idea to to have it in the libs. I will change my j == unitlist i; -Heiko...
... Thank you very much. I have fixed some of the bugs on my personal version (under VMS), but I'll only update the Joy page when I have done all. ... Yes, I...
Manfred von Thun
phimvt@...
Feb 4, 2002 6:27 am
997
I didn't get powerlist to work? And this causes a segfault: ["jewel"] "jewel" some . John Leuner...
... All the bugs you reported are fixed now. I have updated the Joy page. See the joydir.txt for dates of updates. Thanks again. - Manfred...
Manfred von Thun
phimvt@...
Feb 6, 2002 12:47 pm
999
... Sorry, the html papers "tutorial" and "programming" are badly in need of an update. There are two versions of powerlist now, powerlist1 and powerlist2,...
Manfred von Thun
phimvt@...
Feb 6, 2002 1:04 pm
1000
... Well, what should be wrong with that wording? In my opinion the main point of rabbit is the HTML docs - you wrote that. Rabbit is about HTML generation, or...
... No objection at all, on the contrary, I would be pleased. You will have to let me know whether there is anything that I must/should do, since I have no...
Manfred von Thun
phimvt@...
Feb 25, 2002 8:58 am
1003
... No you don't have to do anything, expect perhaps keep me informed about new releases. One thing has to be done before it can go into the debian...
... Done, see the main Joy page, section 3. I picked the BSD license. I hope this format is satisfactory. Or do I have to include it in ever source file ? -...
Manfred von Thun
phimvt@...
Feb 26, 2002 7:36 am
1006
... No you don't. But you might want to say that it covers all the software on that page. John Leuner...
In regard to the "Joy, purely functional?" thread starting at http://groups.yahoo.com/group/concatenative/message/883 , readers may also be interested by the...
... I'm sorry John, I realised only now that this question was probably addressed to me. I should have read your post more carefully. The situation is this: In...
Manfred von Thun
phimvt@...
Mar 14, 2002 10:30 am
1011
New things on the Joy page: plglib.joy propositional library (semantic tableaux) plgtst.joy test file plgtst.out output from the test file The...
Manfred von Thun
phimvt@...
Mar 14, 2002 10:59 am
1012
Manfred von Thun writes: [...] ... I think it is important that new Joy users have a clear distinction between "standard" libraries and examples or their own...
... So to summarize we want to provide two modes of operation: 1) The user types "joy" and gets an interpreter with the standard libraries loaded (all libs on...
Yet another language to add to the set.... http://www.cwi.nl/~tromp/cl/cl.html ...well not quite, it seems to be prefix'ish. I suspect he could drop all the...
From: "John Carter" <john.carter@...> ... It's worse than that -- it's applicative, and explicitly designed to be so. ... I suspect not; I think we'd...
... Yes, it is essentially Schoenfinkel's (1924) Combinatory Calculus, or lambda calculus minus lambda abstraction (if that isn't a contradiction). Joy is...
Manfred von Thun
phimvt@...
Mar 19, 2002 5:29 am
1018
A long time ago Billy and I discussed this topic bit in the TUNES archives March 2000 (see post Combinatory Completeness in Joy). The main result is that {dup,...
... I am most impressed - and embarassed because I had not noticed it before. What you have there makes what I have written on it rather simplistic....
Manfred von Thun
phimvt@...
Mar 20, 2002 5:37 am
1020
I just noticed something interesting a minute ago: that {cons, dip} alone (almost) gives linear completeness, because of the construction i == [[]] dip dip...
On -1 xxx -1, Brent L Kerby wrote: [... lots of good things about combinatory completeness for Joy ] ... I think that what you have here is far too important...
