comp.lang.ada
 help / color / mirror / Atom feed
From: "G.B." <rm-dash-bau-haus@dash.futureapps.de>
Subject: Re: Dereferencing and style guides
Date: Fri, 11 Oct 2013 15:02:36 +0200
Date: 2013-10-11T15:02:37+02:00	[thread overview]
Message-ID: <5257f6ed$0$6623$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <wcc8uy0t1ec.fsf@shell01.TheWorld.com>

On 11.10.13 14:52, Robert A Duff wrote:
> A pure functional language would be different: there, the semantics
> of "a thing" and "a pointer to a thing" are indistinguishable,
> so there's no reason to have explicit dereference operators.

I understand they are adding linear types to these languages
in order to not need pointers for scalar values/object.
(Although, IIRC, this might require that variable of these
types be explicitly marked...)



  reply	other threads:[~2013-10-11 13:02 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-09-30  6:35 Dereferencing and style guides Natasha Kerensikova
2013-09-30  7:13 ` Dmitry A. Kazakov
2013-09-30 12:51 ` Robert A Duff
2013-09-30 16:49   ` Georg Bauhaus
2013-09-30 18:18     ` Jeffrey Carter
2013-10-03 19:20     ` Robert A Duff
2013-10-04 13:22       ` Georg Bauhaus
2013-10-04 13:25         ` Georg Bauhaus
2013-10-07 16:10       ` Eryndlia Mavourneen
2013-10-08  0:48         ` Robert A Duff
2013-10-10  7:35           ` Stefan.Lucks
2013-10-10 14:48             ` Adam Beneschan
2013-10-10 22:49               ` Robert A Duff
2013-10-11  8:07                 ` Bill Findlay
2013-10-11 12:52                   ` Robert A Duff
2013-10-11 13:02                     ` G.B. [this message]
2013-10-11 13:19                     ` Bill Findlay
2013-10-19  2:40                     ` Randy Brukardt
2013-10-19  2:46                     ` Randy Brukardt
2013-10-19  2:36           ` Randy Brukardt
2013-09-30 13:53 ` Eryndlia Mavourneen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox