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 ...
Serguey Zefirov
sz@...
Sep 11, 2002 12:39 pm
1192
This is a longish note on Church numerals and related concepts. http://www.latrobe.edu.au/philosophy/joy/jp-church.html Church numerals are repetition...
Manfred von Thun
phimvt@...
Sep 27, 2002 8:41 am
1193
Just spotted two apparently very recent concatenative languages: Onyx: http://www.canonware.com/ Stoical: http://stoical.sourceforge.net/summary.php ...
Manfred von Thun
phimvt@...
Oct 1, 2002 7:36 am
1194
Thanks, Manfred, for that nice page on Church numbers in Joy. Here's a few observations that might be of some use ... About the construction of Csucc (which...
Brent Kerby
iepos@...
Oct 9, 2002 8:16 am
1195
Thanks for that. You do not cease to amaze me. It is too late today to do full justice to your contribution, except for one question that immediately occurred...
Manfred von Thun
phimvt@...
Oct 9, 2002 9:13 am
1196
... Well, it's pretty simple, really. When we try to write a "reduction rule" for Cpow, the best we can get is this: [p] [m] [n] Cpow == [p] [[m] cons] n i ...
Brent Kerby
iepos@...
Oct 9, 2002 7:01 pm
1197
This may seem insignificant at this point, but the following base has conservative completeness: [A] i == A [C] [B] [A] q == [A [C] B] [B] Remember,...
Brent Kerby
iepos@...
Oct 10, 2002 11:00 pm
1198
... I'm finally getting around to doing a tiny bit outside my current teaching. Thanks again for this long contribution. It would be a great shame if your...
Manfred von Thun
phimvt@...
Oct 21, 2002 7:30 am
1199
... I'd have no problem if you pasted it at the end of you Church numeral's page; whatever you'd like to do with it is quite fine with me, actually. ... It...
Brent Kerby
iepos@...
Oct 23, 2002 6:57 am
1200
... Done ... Done (maybe also along with the "Zn" church ... Done Thank you very much again. - Manfred...
Manfred von Thun
phimvt@...
Oct 25, 2002 6:15 am
1201
I've been experimenting a bit with matrix arithmetic in Joy and noticed that mtrlib uses 'map2'. This appears to be no longer implemented by...
... Thank you. Ooops, Yes, Sorry. (It used to be in seqlib.joy, see below) ... Exactly right. To make the naming of combinators more systematic, I had changed ...
Manfred von Thun
phimvt@...
Oct 28, 2002 4:39 am
1203
... The "patch" command accepts diffs on the standard input and does the Right Thing to the files mentioned. -- Winter: MIT,...
... Manfred, Many thanks for taking the time to look at this in detail (much more than I did!). Case 3 was new to me. I think if a library contains "virtual"...
... These issues arise only because C is such a horrible language. Please ignore me as usual, sr...
Soren Renner
srenner@...
Oct 30, 2002 7:03 pm
1206
... Done. See the new interp.c on the Joy page. Thank you very much. Thanks also to John Cowan and to Nick Forde for teaching me how to use the unix patch...
Manfred von Thun
phimvt@...
Nov 4, 2002 6:20 am
1207
On Wed, 30 Oct 2002, Soren Renner wrote: [ apropos something suggested by Nick Forde: ] [ ... ] ... the ... Actually, these issues have nothing to do with the...
Manfred von Thun
phimvt@...
Nov 4, 2002 6:49 am
1208
On Mon, 28 Oct 2002, Nick Forde wrote: [...] ... That would be a simple and very useful convention. It would not require any change to the interpreter. ... ...
Manfred von Thun
phimvt@...
Nov 4, 2002 7:10 am
1209
I have reasons to believe that our News server does not handle postings properly. It seems that the outgoing wire has come unstuck, and nobody here believes...
Manfred von Thun
phimvt@...
Nov 8, 2002 2:29 am
1210
From: Manfred von Thun <phimvt@...> ... I don't see either of those. OTOH, I've seen Google take a couple of days even with a reliable news...
To make scripting in Joy more convenient I'd like to propose 2 new primitives: argv and argc. If we define the interpreter usage as: $ joy [JOYARGS] [INFILE...
Thank you, Nick, Stevan and Massimo for the checking. Now it is certain: from here it *looks* as though a news article is posted to the world, when in fact it ...
Manfred von Thun
phimvt@...
Nov 10, 2002 10:53 pm
1213
... [...] ... ^^^^^^^^^^^^^^^^^^^^ I take it this means data to be read by fgets etc., and not by the ordinary get, which uses data on the original (stack of)...
Manfred von Thun
phimvt@...
Nov 13, 2002 2:24 am
1214
... Yes. With the current implementation the following are equivalent: $ joy < source.joy $ joy source.joy They both read the program text from stdin. The...
... [... about his additions to several C files for Joy] ... I am now ready to devote some time to this. Tonight I tested your changes with the joytut.joy...
Manfred von Thun
phimvt@...
Nov 29, 2002 9:36 am
1216
Is the definition of equivalence in Joy documented anywhere? I haven't been able to find any references to it in Manfred's papers. Whilst using the 'in' and...
I have now done all my testing under VMS, and all old things work fine. I was even able to test your argv and argc under VMS even though I had never used that...
