From: "Michael Erdmann" <michael.erdmann@snafu.de>
Subject: Re: Everything You Know Is Wrong
Date: Sun, 10 Jan 2016 08:46:14 -0600
Date: 2016-01-10T08:46:14-06:00 [thread overview]
Message-ID: <44ydnT2kpMMr8w_LnZ2dnUU78aOdnZ2d@giganews.com> (raw)
In-Reply-To: n5nbml$v32$1@dont-email.me
I think you forget the changes of the development ecosystem :-)
"Some language" should relect this as well.
/Michael
BTW: All development organisationts are capable of creating code with error 1202.
On 27 Dec 2015 01:37 AM ,"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote:
> When I started out in S/W development, I learned some rules, such as, "Integer
> math is much faster than floating point," and, "Memory is scarce."
>
> In the 90s, processors began to typically have an FPU, and floating-point math
> became as fast as integer, and in some cases, since it could proceed in parallel
> with the CPU, faster.
>
> When computers began to commonly have RAM in quantities measured in GB rather
> than KB or MB, memory ceased to be scarce, and things that were previously
> laughable, such as
>
> type Int_Set is array (Integer) of Boolean;
> for Int_Set'Component_Size use Boolean'Size;
>
> became possible (for a 32-bit Integer, Int_Set'Size would be 512 MB). What I
> knew is wrong.
>
> Today we learn that memory is much faster than persistent storage. That may soon
> be wrong, too. I've been reading about non-volatile memory research, and it
> seems that in a few years NV RAM will be available as fast current RAM and as
> persistent and durable as current disks.
>
> This will no doubt revolutionize computer architectures and programming
> languages. Instead of computers with distinct memory and storage, there will
> probably be computers with lots of NV RAM (1-10 TB?) but no disk.
>
> People will no doubt still want a hierarchical naming system for data stored in
> that memory, but presumably S/W will map variables onto these "files". So
> instead of the current "open, loop over read/modify/write, close" paradigm, we
> might have something like
>
> type R is record ...
>
> type L is array (Positive range <>) of R;
>
> F: mapped L with File_Name => "name";
>
> All_Records : for I in F'range loop -- or "of F"
>
> where the bounds of F will be determined from "name". A mechanism will be needed
> for collections of heterogenous data as well. F would be equivalent to a
> Direct_IO file with in-out mode.
>
> I would think that the Ada 2X project should be thinking about these things, and
> wonder what others here think about them.
>
> --
> Jeff Carter
> "He that hath no beard is less than a man."
> Much Ado About Nothing
> 132
--
Posted by Mimo Usenet Browser v0.2.5
http://www.mimousenet.com/mimo/post
next prev parent reply other threads:[~2016-01-10 14:46 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-27 0:37 Everything You Know Is Wrong Jeffrey R. Carter
2015-12-27 7:55 ` J-P. Rosen
2015-12-27 17:37 ` Jeffrey R. Carter
2015-12-27 8:46 ` Dmitry A. Kazakov
2015-12-27 17:36 ` Jeffrey R. Carter
2016-01-04 14:44 ` Alejandro R. Mosteo
2015-12-28 9:57 ` Georg Bauhaus
2015-12-28 11:19 ` Dmitry A. Kazakov
2015-12-28 16:27 ` Nicholas Collin Paul de Gloucester
2015-12-28 17:30 ` Dmitry A. Kazakov
2015-12-28 18:50 ` Nicholas Collin Paul de Gloucester
2015-12-28 20:40 ` Dmitry A. Kazakov
2015-12-29 11:42 ` G.B.
2015-12-29 12:36 ` Dmitry A. Kazakov
2015-12-29 13:50 ` G.B.
2015-12-29 14:06 ` J-P. Rosen
2015-12-29 14:16 ` Dmitry A. Kazakov
2015-12-29 16:31 ` Dennis Lee Bieber
2015-12-29 17:02 ` G.B.
2015-12-29 16:57 ` G.B.
2015-12-29 17:36 ` Dmitry A. Kazakov
2015-12-29 17:53 ` G.B.
2015-12-29 18:09 ` G.B.
2015-12-29 22:05 ` Randy Brukardt
2016-01-04 14:51 ` Alejandro R. Mosteo
2015-12-29 21:58 ` Randy Brukardt
2015-12-28 17:19 ` Nicholas Collin Paul de Gloucester
2015-12-29 23:37 ` darkestkhan
2016-01-05 13:52 ` brbarkstrom
2016-01-10 14:46 ` Michael Erdmann [this message]
2016-02-29 12:14 ` Jacob Sparre Andersen
2016-03-02 14:11 ` vincent.diemunsch
2016-03-02 14:23 ` J-P. Rosen
2016-03-02 15:44 ` Bob Brown
2016-03-02 16:30 ` J-P. Rosen
2016-03-02 16:36 ` Bob Brown
2016-03-02 16:52 ` Bob Brown
2016-03-02 14:32 ` Dmitry A. Kazakov
2016-03-02 15:31 ` vincent.diemunsch
2016-02-29 12:27 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox