Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Never put off till run-time what you can do at compile-time. -- D. Gries


devel / comp.lang.forth / Re: Interpretation semantics of EXIT

SubjectAuthor
* Interpretation semantics of EXITnone
+* Re: Interpretation semantics of EXITAnton Ertl
|`* Re: Interpretation semantics of EXITnone
| +* Re: Interpretation semantics of EXITminf...@arcor.de
| |+- Re: Interpretation semantics of EXITdxforth
| |`* Closures without locals (was: Interpretation semantics of EXIT)Anton Ertl
| | +* Re: Closures without locals (was: Interpretation semantics of EXIT)minf...@arcor.de
| | |`- Re: Closures without locals (was: Interpretation semantics of EXIT)Anton Ertl
| | `* Re: Closures without locals (was: Interpretation semantics of EXIT)none
| |  `* Re: Closures without locals (was: Interpretation semantics of EXIT)Anton Ertl
| |   `* Re: Closures without locals (was: Interpretation semantics of EXIT)none
| |    `* Re: Closures without locals (was: Interpretation semantics of EXIT)Anton Ertl
| |     `* Re: Closures without locals (was: Interpretation semantics of EXIT)none
| |      `- Re: Closures without locals (was: Interpretation semantics of EXIT)Anton Ertl
| +* Re: Interpretation semantics of EXITAnton Ertl
| |`- Re: Interpretation semantics of EXITnone
| `* Re: Interpretation semantics of EXITluser droog
|  `* Re: Interpretation semantics of EXITdxforth
|   +* Re: Interpretation semantics of EXITnone
|   |`* Re: Interpretation semantics of EXITdxforth
|   | `* Re: Interpretation semantics of EXITHans Bezemer
|   |  `* Re: Interpretation semantics of EXITnone
|   |   `* Re: Interpretation semantics of EXITHans Bezemer
|   |    `* Re: Interpretation semantics of EXITnone
|   |     `- Re: Interpretation semantics of EXITHans Bezemer
|   `* Re: Interpretation semantics of EXITluser droog
|    `- Re: Interpretation semantics of EXITdxforth
`- Re: Interpretation semantics of EXITNN

Pages:12
Re: Interpretation semantics of EXIT

<8d0072a1-9127-41b4-9d88-89a001609358n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=17770&group=comp.lang.forth#17770

  copy link   Newsgroups: comp.lang.forth
X-Received: by 2002:a05:620a:2416:b0:69f:47fa:595e with SMTP id d22-20020a05620a241600b0069f47fa595emr13574401qkn.229.1651158798930;
Thu, 28 Apr 2022 08:13:18 -0700 (PDT)
X-Received: by 2002:a05:6214:d85:b0:449:96f7:6194 with SMTP id
e5-20020a0562140d8500b0044996f76194mr24386706qve.48.1651158798541; Thu, 28
Apr 2022 08:13:18 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.forth
Date: Thu, 28 Apr 2022 08:13:18 -0700 (PDT)
In-Reply-To: <nnd$7009dbae$66cd4e3c@74c551b4634c4c38>
Injection-Info: google-groups.googlegroups.com; posting-host=77.174.47.232; posting-account=Ebqe4AoAAABfjCRL4ZqOHWv4jv5ZU4Cs
NNTP-Posting-Host: 77.174.47.232
References: <nnd$7b417c9f$3b0743ae@4a174ea3bfad2506> <nnd$1d028f0d$6fd346f6@a613019019771a7c>
<t450ai$q1l$1@gioia.aioe.org> <ce65773c-3b15-40a3-b57b-bfcaa9d43748n@googlegroups.com>
<nnd$7009dbae$66cd4e3c@74c551b4634c4c38>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8d0072a1-9127-41b4-9d88-89a001609358n@googlegroups.com>
Subject: Re: Interpretation semantics of EXIT
From: the.beez...@gmail.com (Hans Bezemer)
Injection-Date: Thu, 28 Apr 2022 15:13:18 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 25
 by: Hans Bezemer - Thu, 28 Apr 2022 15:13 UTC

On Thursday, April 28, 2022 at 3:13:55 PM UTC+2, none albert wrote:
> >So dxforth, I concur with you on this point.
> So do I, but it is possible to make life easier without compromising
> the simplicity of the kernel Forth.

True - in 4tH (with it's wildly different architecture) I see the same thing
happening. But due to the radical division between "compilation" and
"interpretation", I see it's not happening in the (inner) interpreter. It's
happening in the compiler - or even the tools on top of the compiler, like
the preprocessor.

The VM hasn't become much smarter at all. In 10 (!) years, that code has
seen only 15 changes - roughly a third of them C syntax related, a third of
them architecture related and the final third of them behavior related (incl.
new functionality).

The compiler has seen about fifty changes in the meanwhile - most them
behavior related.

Translated to the classical Forth architecture - primitives and inner interpreter
have hardly changed.

I dunno how that works out for other Forths - I think it would be an interesting
question, though.

Hans Bezemer

Re: Interpretation semantics of EXIT

<nnd$7083e419$0105d4bc@4977931ad2668398>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=17772&group=comp.lang.forth#17772

  copy link   Newsgroups: comp.lang.forth
Newsgroups: comp.lang.forth
Subject: Re: Interpretation semantics of EXIT
References: <nnd$7b417c9f$3b0743ae@4a174ea3bfad2506> <ce65773c-3b15-40a3-b57b-bfcaa9d43748n@googlegroups.com> <nnd$7009dbae$66cd4e3c@74c551b4634c4c38> <8d0072a1-9127-41b4-9d88-89a001609358n@googlegroups.com>
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
From: alb...@cherry (none)
Originator: albert@cherry.(none) (albert)
Message-ID: <nnd$7083e419$0105d4bc@4977931ad2668398>
Organization: KPN B.V.
Date: Fri, 29 Apr 2022 11:37:27 +0200
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!feeder.usenetexpress.com!tr1.eu1.usenetexpress.com!94.232.112.244.MISMATCH!feed.abavia.com!abe004.abavia.com!abp002.abavia.com!news.kpn.nl!not-for-mail
Lines: 45
Injection-Date: Fri, 29 Apr 2022 11:37:27 +0200
Injection-Info: news.kpn.nl; mail-complaints-to="abuse@kpn.com"
 by: none - Fri, 29 Apr 2022 09:37 UTC

In article <8d0072a1-9127-41b4-9d88-89a001609358n@googlegroups.com>,
Hans Bezemer <the.beez.speaks@gmail.com> wrote:
>On Thursday, April 28, 2022 at 3:13:55 PM UTC+2, none albert wrote:
>> >So dxforth, I concur with you on this point.
>> So do I, but it is possible to make life easier without compromising
>> the simplicity of the kernel Forth.
>
>True - in 4tH (with it's wildly different architecture) I see the same thing
>happening. But due to the radical division between "compilation" and
>"interpretation", I see it's not happening in the (inner) interpreter. It's
>happening in the compiler - or even the tools on top of the compiler, like
>the preprocessor.
>
>The VM hasn't become much smarter at all. In 10 (!) years, that code has
>seen only 15 changes - roughly a third of them C syntax related, a third of
>them architecture related and the final third of them behavior related (incl.
>new functionality).
>
>The compiler has seen about fifty changes in the meanwhile - most them
>behavior related.
>
>Translated to the classical Forth architecture - primitives and inner
>interpreter
>have hardly changed.
>
>I dunno how that works out for other Forths - I think it would be an interesting
>question, though.

Don't stop looking for simplications. I recently managed the central (FIND)
word from 6 to 3 labels and eliminate a third of the underlying
~MATCH word.
The discotheque principle is useful. Nobody gets in, before somebody gets
out. If you add a word, an other word has to get removed.
This would be a useful principle for laws also.

>
>Hans Bezemer

Groetjes Albert
--
"in our communism country Viet Nam, people are forced to be
alive and in the western country like US, people are free to
die from Covid 19 lol" duc ha
albert@spe&ar&c.xs4all.nl &=n http://home.hccnet.nl/a.w.m.van.der.horst

Re: Interpretation semantics of EXIT

<e7c7e6fd-38dd-43f0-bd92-bb5def78b644n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=17773&group=comp.lang.forth#17773

  copy link   Newsgroups: comp.lang.forth
X-Received: by 2002:a05:620a:404f:b0:69f:1160:73e6 with SMTP id i15-20020a05620a404f00b0069f116073e6mr22423269qko.690.1651228578490;
Fri, 29 Apr 2022 03:36:18 -0700 (PDT)
X-Received: by 2002:a05:6214:20a6:b0:458:1157:6ae5 with SMTP id
6-20020a05621420a600b0045811576ae5mr1859038qvd.88.1651228578288; Fri, 29 Apr
2022 03:36:18 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.forth
Date: Fri, 29 Apr 2022 03:36:18 -0700 (PDT)
In-Reply-To: <nnd$7083e419$0105d4bc@4977931ad2668398>
Injection-Info: google-groups.googlegroups.com; posting-host=77.174.47.232; posting-account=Ebqe4AoAAABfjCRL4ZqOHWv4jv5ZU4Cs
NNTP-Posting-Host: 77.174.47.232
References: <nnd$7b417c9f$3b0743ae@4a174ea3bfad2506> <ce65773c-3b15-40a3-b57b-bfcaa9d43748n@googlegroups.com>
<nnd$7009dbae$66cd4e3c@74c551b4634c4c38> <8d0072a1-9127-41b4-9d88-89a001609358n@googlegroups.com>
<nnd$7083e419$0105d4bc@4977931ad2668398>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e7c7e6fd-38dd-43f0-bd92-bb5def78b644n@googlegroups.com>
Subject: Re: Interpretation semantics of EXIT
From: the.beez...@gmail.com (Hans Bezemer)
Injection-Date: Fri, 29 Apr 2022 10:36:18 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 24
 by: Hans Bezemer - Fri, 29 Apr 2022 10:36 UTC

On Friday, April 29, 2022 at 11:37:31 AM UTC+2, none albert wrote:
> Don't stop looking for simplications. I recently managed the central (FIND)
> word from 6 to 3 labels and eliminate a third of the underlying
> ~MATCH word.
I recently reprogrammed the inner Accept() word. I was hesitant to touch it
since - although murky - it had worked absolutely fine for three decades.

I must have grown a bit in that time, because I found out how it exactly worked.
And the code is not only much clearer now - it has additional functionality!

> The discotheque principle is useful. Nobody gets in, before somebody gets
> out. If you add a word, an other word has to get removed.
> This would be a useful principle for laws also.
I have this policy that 4tH has 106 reserved tokens. For every one added, one
must disappear. That leaves someone who wants to expand on it a clean
150 ones to play with. Every change in a token bumps up the minor version
number. That's why 3.63.x never came to be.

So yes, I agree on that policy. That's why the compiler itself feeds most of
the functionality changes. E.g. I recently added CASE..ENDCASE, but that's
all handled by the compiler. The (inner) interpreter gets fed the very same tokens
as before.

Hans Bezemer

Pages:12
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor