Date: Tue, 6 Aug 2024 14:27:15 +1000
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: VALUE and TO implementation
Newsgroups: comp.lang.forth
References: <a1aab44ee3b1b56c2f54f2606e98d040@www.novabbs.com>
 <v8b04c$137lg$1@dont-email.me> <nnd$6e668a8e$712b1a09@1b1e479e823969fb>
 <v8cuur$1go8k$1@dont-email.me>
 <2af79ef5abcec71a1d42a461b6bc56b8@www.novabbs.com>
 <v8dntr$1lcff$1@dont-email.me> <2024Jul31.193344@mips.complang.tuwien.ac.at>
 <v8ekea$1po8g$1@dont-email.me> <2024Aug1.120730@mips.complang.tuwien.ac.at>
 <v8in5k$2pq99$1@dont-email.me>
 <ecc2ee176b98033763c1fb2143cb9935@www.novabbs.com>
 <v8ler0$3fja7$1@dont-email.me>
 <4b8297b5787264614edcb6180ef3e1b6@www.novabbs.com>
 <v8mea6$3fja7$2@dont-email.me>
 <23a44aa0445a30c0fc782819f48463f9@www.novabbs.com> <66b0c4f2@news.ausics.net>
 <5eff99125b18466c3fdcd2a0cca8368b@www.novabbs.com>
 <66b0eabb$1@news.ausics.net> <v8qter$pikr$1@dont-email.me>
Content-Language: en-GB
From: dxf <dxforth@gmail.com>
In-Reply-To: <v8qter$pikr$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: news.ausics.net
Message-ID: <66b1a624@news.ausics.net>
Organization: Ausics - https://newsgroups.ausics.net
Lines: 14
X-Complaints: abuse@ausics.net
Path: ...!weretis.net!feeder9.news.weretis.net!news.bbs.nz!news.ausics.net!not-for-mail
Bytes: 1972

On 6/08/2024 2:08 am, Ruvim wrote:
> On 2024-08-05 19:07, dxf wrote:
> ... 
>> We've been told state-smart words are evil.
> 
> The only reason for that evil is that `POSTPONE` in a classic implementation behaves incorrectly for them.
> 
> See "About POSTPONE semantics in edge cases" <https://github.com/ForthHub/discussion/discussions/103>
> 
> Nobody have pointed out any logical error in my reasoning.

ISTR dual-xt solutions also have problems with 'edge cases'.  Pursuit of
perfection is for folks with much time on their hands.