Re: Forth and "Things That Turbo Pascal is Smaller Than"

From	Bernd Paysan <bernd.paysan@gmx.de>
Newsgroups	comp.lang.forth
Subject	Re: Forth and "Things That Turbo Pascal is Smaller Than"
Date	2011-11-28 17:25 +0100
Organization	1&1 Internet AG
Message-ID	<jb0cl8$b72$1@online.de> (permalink)
References	(11 earlier) <jajl59$e56$1@speranza.aioe.org> <2011Nov24.131625@mips.complang.tuwien.ac.at> <jap2ep$1q1$1@speranza.aioe.org> <4cednQrIzKBjUE3TnZ2dnUVZ_jSdnZ2d@supernews.com> <jaunc8$llp$1@speranza.aioe.org>

Show all headers | View raw

Rod Pemberton wrote:
> That's only true if an absolute size for a cell is specified after the
> fact to fit the results.  In the case of ANS Forth, we need to know
> the absolute size of a cell prior to fitting the results to check
> compliance. That, as I "see" it, is not possible for an abstract
> machine with variably sized integers.

Ok, let me describe a possible implementation of this "Forth with 
infinite cells".  All actual cells are indeed finite, numbers can be 
positive (including zero), negative, or special-case, like "Aleph-0" (as 
symbolic constant), and are coded as strings (binary strings, 
length+content, with a variable-width encoding of length, see for 
example the way Google stores integers in their RPC spec - every byte 
contains seven bits of information, if there is another byte to come, 
the MSB is set, otherwise cleared).  All arithmetics can deal with those 
bignums.

The memory is implemented as hash table, mapping from an address (one 
string) to the content (another string).  It is possible to have "out of 
memory" errors in an actual implementation, the reaction would be to 
write the whole memory to disk, stop the program, and ask the user to 
get more memory. For a cluster implementation, distributed hash table 
algorithms can be used to spread the memory over a large number of 
computers, the "out of memory" condition then would request to add more 
computers to the network.

-- 
Bernd Paysan
"If you want it done right, you have to do it yourself"
http://bernd-paysan.de/

Thread

Forth and "Things That Turbo Pascal is Smaller Than" Steve Graham <jsgrahamus@yahoo.com> - 2011-11-01 14:18 -0600
  Re: Forth and "Things That Turbo Pascal is Smaller Than" Mark Wills <markrobertwills@yahoo.co.uk> - 2011-11-01 15:13 -0700
    Re: Forth and "Things That Turbo Pascal is Smaller Than" Steve Graham <jsgrahamus@yahoo.com> - 2011-11-01 17:55 -0600
    Re: Forth and "Things That Turbo Pascal is Smaller Than" "P.M.Lawrence" <pml540114@gmail.com> - 2011-11-02 03:25 -0700
  Re: Forth and "Things That Turbo Pascal is Smaller Than" Mark Wills <markrobertwills@yahoo.co.uk> - 2011-11-01 15:43 -0700
    Re: Forth and "Things That Turbo Pascal is Smaller Than" Steve Graham <jsgrahamus@yahoo.com> - 2011-11-01 17:54 -0600
  Re: Forth and "Things That Turbo Pascal is Smaller Than" Elliott Chapin <echapin@teksavvy.com> - 2011-11-02 02:54 +0000
    Re: Forth and "Things That Turbo Pascal is Smaller Than" Paul Rubin <no.email@nospam.invalid> - 2011-11-02 00:41 -0700
      Re: Forth and "Things That Turbo Pascal is Smaller Than" Elliott Chapin <echapin@teksavvy.com> - 2011-11-02 15:39 +0000
        Re: Forth and "Things That Turbo Pascal is Smaller Than" Jecel <jecel@merlintec.com> - 2011-11-03 11:59 -0700
          Re: Forth and "Things That Turbo Pascal is Smaller Than" Hans Bezemer <thebeez@xs4all.nl> - 2011-11-09 10:11 +0100
          Re: Forth and "Things That Turbo Pascal is Smaller Than" Rugxulo <rugxulo@gmail.com> - 2011-11-13 12:54 -0800
            Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-14 04:12 -0500
          Re: Forth and "Things That Turbo Pascal is Smaller Than" "Ed" <nospam@invalid.com> - 2011-11-17 14:18 +1100
            Re: Forth and "Things That Turbo Pascal is Smaller Than" Jecel <jecel@merlintec.com> - 2011-11-17 07:59 -0800
              Re: Forth and "Things That Turbo Pascal is Smaller Than" Rugxulo <rugxulo@gmail.com> - 2011-11-17 10:50 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Ed" <nospam@invalid.com> - 2011-11-18 17:37 +1100
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jecel <jecel@merlintec.com> - 2011-11-18 08:40 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Albert van der Horst <albert@spenarnc.xs4all.nl> - 2011-11-19 11:00 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Rugxulo <rugxulo@gmail.com> - 2011-11-19 11:36 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Albert van der Horst <albert@spenarnc.xs4all.nl> - 2011-11-20 14:19 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" BruceMcF <agila61@netscape.net> - 2011-11-20 07:48 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" jacko <jackokring@gmail.com> - 2011-11-20 08:26 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" jacko <jackokring@gmail.com> - 2011-11-20 16:04 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Albert van der Horst <albert@spenarnc.xs4all.nl> - 2011-11-20 20:00 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" BruceMcF <agila61@netscape.net> - 2011-11-20 12:20 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Bernd Paysan <bernd.paysan@gmx.de> - 2011-11-21 20:32 +0100
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Albert van der Horst <albert@spenarnc.xs4all.nl> - 2011-11-21 19:42 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" BruceMcF <agila61@netscape.net> - 2011-11-21 20:29 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Rugxulo <rugxulo@gmail.com> - 2011-11-20 11:27 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" jacko <jackokring@gmail.com> - 2011-11-20 16:27 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "P.M.Lawrence" <pml540114@gmail.com> - 2011-11-20 15:52 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-21 12:42 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-21 12:55 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-21 18:02 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-21 18:03 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-22 14:03 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-23 01:25 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-23 02:54 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-23 05:37 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-23 15:29 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-23 14:42 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Paul Rubin <no.email@nospam.invalid> - 2011-11-24 00:15 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-23 14:23 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-23 15:31 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Coos Haak <chforth@hccnet.nl> - 2011-11-23 22:17 +0100
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-25 16:43 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-23 23:22 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Paul Rubin <no.email@nospam.invalid> - 2011-11-24 14:48 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-26 10:54 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" BruceMcF <agila61@netscape.net> - 2011-11-23 19:26 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-24 04:46 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-24 12:29 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-24 06:57 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Bernd Paysan <bernd.paysan@gmx.de> - 2011-11-24 18:14 +0100
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-24 12:12 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Howerd <howerdo@yahoo.co.uk> - 2011-11-24 10:34 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-24 16:23 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Howerd <howerdo@yahoo.co.uk> - 2011-11-25 15:01 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" BruceMcF <agila61@netscape.net> - 2011-11-24 19:15 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Howerd <howerdo@yahoo.co.uk> - 2011-11-25 15:07 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Bernd Paysan <bernd.paysan@gmx.de> - 2011-11-25 17:01 +0100
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-25 18:02 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Paul Rubin <no.email@nospam.invalid> - 2011-11-25 21:10 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-24 12:16 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-25 16:49 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-26 05:31 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" "Rod Pemberton" <do_not_have@noavailemail.cmm> - 2011-11-27 20:17 -0500
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Andrew Haley <andrew29@littlepinkcloud.invalid> - 2011-11-28 06:09 -0600
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Bernd Paysan <bernd.paysan@gmx.de> - 2011-11-28 17:25 +0100
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-22 00:03 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-22 13:55 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-23 00:54 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" BruceMcF <agila61@netscape.net> - 2011-11-22 18:46 -0800
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-23 23:46 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-23 14:26 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-26 10:31 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-27 14:20 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Coos Haak <chforth@hccnet.nl> - 2011-11-27 16:50 +0100
                Re: Forth and "Things That Turbo Pascal is Smaller Than" Jan Coombs <jan_2011-02@murray-microft.co.uk> - 2011-11-30 08:10 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2011-11-21 10:51 +0000
                Re: Forth and "Things That Turbo Pascal is Smaller Than" BruceMcF <agila61@netscape.net> - 2011-11-19 15:46 -0800
          Re: Forth and "Things That Turbo Pascal is Smaller Than" Rugxulo <rugxulo@gmail.com> - 2011-11-26 22:01 -0800
  Re: Forth and "Things That Turbo Pascal is Smaller Than" stephenXXX@mpeforth.com (Stephen Pelc) - 2011-11-02 11:13 +0000

csiph-web