Dear Colleagues: I thought I was going to be the [co?]moderator. How does that work? Soren Renner....
2
wtanksley@...
May 1, 2000 3:56 pm
From: Soren Renner [mailto:srenner@...] ... I have to check a box for that to happen. Once I do that, you can handle any of the new subscriptions we need;...
3
wtanksley@...
May 1, 2000 4:10 pm
It's good to see six people here at the start. At this rate we'll be able to form a newsgroup by summer. Let's get down to business. There are some things...
4
iepos@...
May 1, 2000 7:25 pm
... Here's my understanding... a stack frame in an applicative language is very similar to the data stack in a concatenative language (such as FORTH or Joy),...
5
wtanksley@...
May 1, 2000 8:56 pm
From: iepos@... [mailto:iepos@...] ... There's a problem here. The applicative stack frame is used to hold parameters which have been applied to...
6
iepos@...
May 2, 2000 12:06 am
... Okay... I'm sort of confused... saving the whole data stack would be a very silly, inefficient thing to do in most cases, and wouldn't make sense in a...
7
wtanksley@...
May 2, 2000 3:27 am
From: iepos@... [mailto:iepos@...] ... Eh? I thought you did. In that case, forget what I said. I was arguing against that. I don't see a...
8
Soren Renner
srenner@...
May 2, 2000 8:32 pm
I'm not sure what a continuation is exactly, but Mr. Thun, Joy's author, does, because in the standard Joy library is the following: ... (* - - - - - C O M B...
9
iepos@...
May 3, 2000 4:40 pm
... That's interesting... I'd never noticed that before. The core primitive at work seems to be "conts". But, it doesn't seem to be working right on my (Linux...
10
iepos@...
May 3, 2000 10:34 pm
... A strange confusion... I'm not sure how this happened :-) Anyway, now for a topic I've been wanting to discuss for a little while: "lambdas" and their...
11
wtanksley@...
May 4, 2000 12:27 am
From: iepos@... [mailto:iepos@...] ... This is a clear restatement, yes. ... ...although I'm sure you meant to write this x\[x x *], since...
12
iepos@...
May 4, 2000 3:19 pm
... Hmm... The original way I wrote it is still what I meant. I need to clarify... Okay, when I say "[foo]", I mean Push "foo" onto the stack. "foo" usually...
13
srenner@...
May 4, 2000 4:37 pm
In this implementation, the fundamental data structure is a box chain. A box is just a record with a pointer to another box. A box chain is just a linked list....
14
Massimo Dentico
m.dentico@...
May 4, 2000 9:20 pm
A short introduction to continuations: "Continuations Made Simple and Illustrated" by Denys Duchier -...
15
wtanksley@...
May 5, 2000 2:04 am
This is being bcc'ed to the guy who implemented the optimizer. Sam, if you'd care to make your optimiser public, feel free to upload it to this egroup or...
16
iepos@...
May 5, 2000 4:20 pm
... I'm a bit puzzled about one thing... Why are there two separate stacks (a box stack and an int stack)? Your "IF" primitive seems to pop things off the box...
17
wtanksley@...
May 5, 2000 7:03 pm
From: iepos@... [mailto:iepos@...] ... For the same reason that Forth has two stacks: one stack holds the continuation to which the current...
18
Soren Renner
srenner@...
May 5, 2000 8:42 pm
"Your "IF" primitive seems to pop things off the box stack, but I haven't seen any primitives that push things on... Does you[r] system have a quotation...
19
wtanksley@...
May 5, 2000 10:17 pm
From: Soren Renner [mailto:srenner@...] ... It's kind of inconvenient to have an interactive system without the ability to define things. However, if...
20
iepos@...
May 5, 2000 10:44 pm
... These do not make sense to me. To me, the extension seems fairly clear and consistent; it does not really add any funky syntax. Programs are still...
21
Soren Renner
srenner@...
May 5, 2000 11:15 pm
May I suggest "gyros"? sr...
22
wtanksley@...
May 6, 2000 2:44 am
From: iepos@... [mailto:iepos@...] ... You're also adding the convention that quotation behaves specially when you're quoting a single...
23
srenner@...
May 6, 2000 5:52 pm
"Both of these languages which I proposed would have to be written in themselves (although it would be permissable to write the second one in the first). And...
24
srenner@...
May 6, 2000 7:41 pm
Here is a code fragment from the VM. MODULE Boxes; Import Out; TYPE Box* = POINTER TO RECORD; VAR next*: Box; PROCEDURE Exec*(stack: BoxStack); END Exec; ...
25
peter_easthope@...
May 8, 2000 1:47 am
26
iepos@...
May 8, 2000 4:08 am
... Hmm... I'm guessing they mean that there is no _dynamic_ environment of name-value pairs. That is, there are no formal parameters (like "x") of functions...
27
iepos@...
May 8, 2000 4:11 am
Hello, folks.... Well, a bit ago I decided to follow Billy's advice and just make a simple interactive environment, and not worry about compilation to ELF and...
28
wtanksley@...
May 8, 2000 4:19 pm
From: peter_easthope@... ... Welcome in. ... 2 and 3 are certainly the arguments which + evaluates. However, notice two things: first of all,...
29
wtanksley@...
May 8, 2000 6:04 pm
From: iepos@... [mailto:iepos@...] ... Wow, that was quick! In that time I managed to fix a single bug in Omega. ... So it's not an interpreter,...
30
srenner@...
May 8, 2000 6:51 pm
In the beginning there was nothing but shallow water. Then a great crocodile appeared and began thrashing his tail. He made the water deeper in some places. In...