... Thank you very much, Louis, your analysis is exactly right. I am most embarassed about writing wrong code like that, not noticing the mistake earlier, and...
720
Manfred von Thun
phimvt@...
Jul 2, 2001 3:30 am
... I'm not at all sure myself. You will have seen my quick fix to the problem and my doubts about it in my reply to Louis. Until you and others have looked at...
721
Manfred von Thun
phimvt@...
Jul 2, 2001 3:38 am
... You are exactly right. What I wrote in that paper is wrong. It should be newstack stack => newstack [] I can fix that straight away in the web page....
722
John Cowan
cowan@...
Jul 2, 2001 4:00 am
... Yes, on reflection I agree with this: there should be no built-in constant functions in Joy, only constants with various spellings. So 5 and true should be...
723
Billy Tanksley
wtanksley@...
Jul 2, 2001 7:26 pm
From: Manfred von Thun [mailto:phimvt@...] ... You're expecting map to treat 'true' and 'false' as literals, not functions. There's nothing...
724
Billy Tanksley
wtanksley@...
Jul 2, 2001 11:19 pm
From: Manfred von Thun [mailto:phimvt@...] ... Me neither -- mainly because I think that using "!" for "." is a terrible hack, which could be...
725
John Cowan
cowan@...
Jul 3, 2001 2:56 am
... I agree. ... It is not equivalent to anything, since Joy has explicitly typed values. 0 is not 0.0 is not false is not '\0. ... It would be easy to add two...
726
Manfred von Thun
phimvt@...
Jul 3, 2001 4:13 am
On Mon, 2 Jul 2001, John Cowan wrote: [in reply to my thoughts on constants and functions] ... Ermph, yes, some work indeed. Here are my thoughts: 1 The...
727
Manfred von Thun
phimvt@...
Jul 3, 2001 4:40 am
... That is what the quick fix does. ... except when writing: true false and. should produce false ... My wording somewhere was unclear, sorry. Which...
728
John Cowan
cowan@...
Jul 3, 2001 4:43 am
... I've already backed this change out: != is restored. However, ! as a terminator is still with us. I'd love to make "." the only terminator, and change the...
729
Manfred von Thun
phimvt@...
Jul 3, 2001 4:47 am
... Except: true and false deserve help strings. (And in the suggestions about improved version of the changes which I posted just now, the (now modified)...
730
Serguey Zefirov
sz@...
Jul 3, 2001 12:55 pm
This is a forwarded message From: Brian Rice <water@...> To: Tunes Main Discussion List <tunes@...> Subject: Random note, Tunes early history ...
731
John Cowan
cowan@...
Jul 8, 2001 7:01 am
A misplaced brace in the implementation of max and min caused them not to do anything unless at least one argument was a float. You can fix interp.c by moving...
732
Manfred von Thun
phimvt@...
Jul 10, 2001 10:53 am
I have made some changes to the Joy page, in style and in content: C sources updated, with the "quick fix" for true and false needed by one test file below ...
733
John Cowan
cowan@...
Jul 23, 2001 6:52 pm
Please forgive the apparent spam. I am passing this message to all Yahoo Groups lists I am subscribed to. ... The problem is probably with Yahoo Groups, not...
734
Jack Waugh
waugh@...
Jul 27, 2001 2:26 pm
Is Joy a suitable notation in which to demonstrate how to implement/simulate/model a functional programming language where the functions are nonstrict in their...
735
Billy Tanksley
wtanksley@...
Jul 27, 2001 6:43 pm
From: Jack Waugh [mailto:waugh@...] ... I'm not sure what 'strict' means here. Assuming it has something to do with typechecking, then I don't think Joy...
736
John Cowan
cowan@...
Jul 27, 2001 6:48 pm
... Not at all. A strict functional language is one that insists on evaluating the arguments to functions before invoking the functions themselves. Most...
737
Billy Tanksley
wtanksley@...
Jul 27, 2001 7:47 pm
From: John Cowan [mailto:cowan@...] ... Ah. He means strict evaluation rather than checking, then. He didn't give any context from which to decide (and...
738
Manfred von Thun
phimvt@...
Jul 30, 2001 5:53 am
... Just adding to the discussion that already occurred.. The terms "strict" and "non-strict" come from Church's lambda calculus (For some introduction and...
740
Louis Madon
louis@...
Aug 1, 2001 1:14 am
Actually what you wrote made me realize something about what Manfred wrote in his previous post. I do not think it is correct to say that "[non-strictness]...
741
Jack Waugh
waugh@...
Aug 1, 2001 2:19 pm
In http://groups.yahoo.com/group/concatenative/message/740 , Louis Madon presents these examples ... and goes on to ask ... Although I didn't make it very...
742
Manfred von Thun
phimvt@...
Aug 3, 2001 8:21 am
... wrote in his previous post. I do not think it is correct to say that "[non-strictness] only makes sense in languages in which there is (explicit or hidden,...
743
Manfred von Thun
phimvt@...
Aug 3, 2001 8:26 am
On the main Joy page: Frequently Asked Questions about Joy It is longer and more theoretical than I intended originally. Also, it does not yet have all those...
745
Louis Madon
madonl@...
Aug 5, 2001 1:36 pm
From: "Manfred von Thun" <phimvt@...> ... Um yes, I see the distinction, I was using "non-strict" and "lazy evaluation" as if they were...
746
Louis Madon
madonl@...
Aug 5, 2001 1:50 pm
Implementing a lazy variant of Joy or creating a lazy library for current Joy are indeed possibilites. A third possibility (which would actually be my own...
747
Jack Waugh
waugh@...
Aug 6, 2001 12:32 am
On any Unix-like system, do a "man dc". 'dc' (desk calculator) has a stack and a namespace (with only single-character names). A single character denotes...
748
Manfred von Thun
phimvt@...
Aug 6, 2001 3:06 am
... You are right, I had forgotten about dc's dup operator d. So what I wrote on the Joy FAQ just three days ago is wrong: According to the definition I use...
749
John Cowan
cowan@...
Aug 6, 2001 3:31 am
... There are arbitrary-precision packages written in C. I'll look into this at some point, though bignums aren't something which really fascinate me. -- John...
750
John Carter
john.carter@...
Aug 6, 2001 3:52 am
... In that realm is the Hp48 calculators RPL (Reverse Polish Lisp). In the opposite realm there is a converter that translates a lispish version of postscript...
