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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,78447032bdbeb343
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!feed20.multikabel.net!multikabel.net!newsfeed10.multikabel.net!feeder1.cambrium.nl!feed.tweaknews.nl!news.netcologne.de!newsfeed-hp2.netcologne.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 30 May 2008 09:50:41 +0200
From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Reply-To: rm.tsoh+bauhaus@maps.futureapps.de
User-Agent: Thunderbird 2.0.0.14 (Windows/20080421)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Proposal: pragma Assumption
References: <30917be5-1446-417c-8a4e-18b2f9a1f420@b1g2000hsg.googlegroups.com>
 <97479cac-db1a-4654-949b-2caa45031cf1@t54g2000hsg.googlegroups.com>
 <Mj2%j.41725$we7.34776@bgtnsc04-news.ops.worldnet.att.net>
 <4d2bb014-c956-454b-bcfb-a98cd524e5b4@m36g2000hse.googlegroups.com>
 <g1nhm2$a08$1@jacob-sparre.dk>
In-Reply-To: <g1nhm2$a08$1@jacob-sparre.dk>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <483fb1d3$0$6556$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 30 May 2008 09:50:43 CEST
NNTP-Posting-Host: aefc1854.newsspool3.arcor-online.net
X-Trace: 
 DXC=YDWPI`WcA^jPKPPVf;4hUjMcF=Q^Z^V3h4Fo<]lROoRa8kF<OcfhCOkUOVh\2?PLE`PCY\c7>ejVhWc123M=iOQoVB[DJYmdcY`
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:465
Date: 2008-05-30T09:50:43+02:00
List-Id: <comp.lang.ada>

Randy Brukardt wrote:

> I don't get it. If you remove the package containing Unimplemented from the 
> program (as you should do in this case), any remaining references will be 
> caught by the compiler as undefined.

I thought that, too, but then considered programmers
who wouldn't mind a "workaround":
 "If that Simplifying_Assumption package is gone away,
  stupid big IT organization, I'll roll my own.
  I don't want their configuration handling to affect
  my coding right now!"
This is not possible to do with a language defined pragma.
Once a pragma is used to express "preliminary implementation",
its language defined semantics will ensure that there is no
simple way to work around finishing your work.
No reference to HR, to quality control, performance control or
team leadership competence is needed.

With a pragma, language semantics can improve work semantics
and quality control, in line with Ada culture maybe.
(Programming discipline for free?)

I can remember too many IFs without completed ELSE, too many
notes about cases to be handled later that would inevitably
make a program confront Murphy's law.
Tools are helpful; if Simplifying_Assumption, a variation of
Assert, becomes language defined, there is a one button
solution to most of these problems.

It's iPhone usability at the development level .-)