From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!news.glorb.com!feeder.erje.net!eu.feeder.erje.net!weretis.net!feeder1.news.weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 11 Oct 2013 15:02:36 +0200
From: "G.B." <rm-dash-bau-haus@dash.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130801 Thunderbird/17.0.8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Dereferencing and style guides
References: <slrnl4i6sh.1lme.lithiumcat@sigil.instinctive.eu>
 <wcczjquzd4b.fsf@shell01.TheWorld.com>
 <5249ab97$0$6625$9b4e6d93@newsspool2.arcor-online.net>
 <wccli2akvow.fsf@shell01.TheWorld.com>
 <ff7657dd-00d1-4212-b451-7465b0aa38f9@googlegroups.com>
 <wccob70twny.fsf@shell01.TheWorld.com>
 <alpine.DEB.2.10.1310100934160.26647@debian>
 <23baa71a-6293-452c-89de-16052a198d20@googlegroups.com>
 <wcchaco3fne.fsf@shell01.TheWorld.com>
 <CE7D704E.38619%yaldnif.w@blueyonder.co.uk>
 <wcc8uy0t1ec.fsf@shell01.TheWorld.com>
In-Reply-To: <wcc8uy0t1ec.fsf@shell01.TheWorld.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <5257f6ed$0$6623$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 11 Oct 2013 15:02:37 CEST
NNTP-Posting-Host: 595a15d7.newsspool2.arcor-online.net
X-Trace: DXC=K>SgmZ4=oL@gj[ZPFj7ehOA9EHlD;
 3YcB4Fo<]lROoRA8kF<OcfhCOKTT2:ZAgWN2Anc\616M64>JLh>_cHTX3jM; CDofPZD_=A
X-Complaints-To: usenet-abuse@arcor.de
Xref: number.nntp.dca.giganews.com comp.lang.ada:183611
Date: 2013-10-11T15:02:37+02:00
List-Id: <comp.lang.ada>

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...)