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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!newsread.com!news-xfer.newsread.com!news.glorb.com!wns13feed!worldnet.att.net!12.120.4.37!attcg2!ip.att.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Teaching new tricks to an old dog (C++ -->Ada)
Date: 10 Mar 2005 07:16:50 -0600
Organization: Berbee Information Networks Corporation
Message-ID: <9Vc21KwydT+9@eisner.encompasserve.org>
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <1110032222.447846.167060@g14g2000cwa.googlegroups.com>
 <871xau9nlh.fsf@insalien.org>
 <3SjWd.103128$Vf.3969241@news000.worldonline.dk>
 <87r7iu85lf.fsf@insalien.org> <1110052142.832650@athnrd02>
 <d0dkq6$781$1@titan.btinternet.com>
 <1110284070.410136.205090@o13g2000cwo.googlegroups.com>
 <395uqaF5rhu2mU1@individual.net> <uk6oigfzi.fsf@obry.org>
 <1110329098.642196@athnrd02> <u3bv5gq0y.fsf@obry.org>
 <1110361741.551255@athnrd02> <422edaec$0$26554$9b4e6dOrganization: LJK
 Software
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1110460545 22683 192.135.80.34 (10 Mar 2005
 13:15:45 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Thu, 10 Mar 2005 13:15:45 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:9033 comp.lang.c++:44956
 comp.realtime:1198 comp.software-eng:4761
Date: 2005-03-10T07:16:50-06:00
List-Id: <comp.lang.ada>

In article <1110429102.189423@athnrd02>, Ioannis Vranos <ivr@remove.this.grad.com> writes:

> Yes you can write completely safe, bullet-proof code in C++ and without 
> sacrificing efficiency  (and some times even improving it!) by using the 
> high level C++ constructs. Examples are: find family (which includes 
> find_if etc), search family, generate, fill, for_each, count, mismatch, 
> equal, transform, copy, swap, replace, remove, unique, rotate, sort, 
> bound, merge, partition, includes, set (like set_union), heap (like 
> make_heap - makes sequences behave as heaps), comparisons (like min, 
> max, lexicographical_compare), permutation, etc families.
> 
> 
> We can say it is an entirely completely safe, high level language of its 
> own, and in this way you may never use loops for most things!

Are there compilers for it ?

By which I mean, compilers that will balk at compiling when users fail
to make those careful choices of high-level constructs.