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: a07f3367d7,70414f56d810c10c
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 27 Sep 2011 12:18:28 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:6.0.2) Gecko/20110902 Thunderbird/6.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: discriminant questions
References: 
 <9f37b726-d80b-4d24-bf3f-28a14255f7fd@s20g2000yql.googlegroups.com>
   <wccty89n6hw.fsf@shell01.TheWorld.com>
 <luyty5gimgdn.fh6hltxeo2t1.dlg@40tude.net>
 <d3e2a483-2968-42b2-95c1-4370c40b1cd0@h7g2000yqm.googlegroups.com>
 <osxb9aktb5va$.gl2adls3llnz$.dlg@40tude.net>
 <b210b96b-806d-4add-8ac0-fa2ce568f855@u20g2000yqj.googlegroups.com>
 <14tiipigyejtc$.hyp7e82egqwq$.dlg@40tude.net>
 <34d856bd-19a3-4bbf-b9d8-c0f100000ef4@k7g2000vbd.googlegroups.com>
 <wq5xshyxsz29$.1whnijhte02l7.dlg@40tude.net>
 <f353c87e-f0d1-476f-aa7d-195f66f97650@w28g2000yqw.googlegroups.com>
 <1tpl2pc36ptr4$.txv4v3wmkjlm.dlg@40tude.net>
 <b32585e7-7a90-4d98-a729-d9d9c089252d@g30g2000yqc.googlegroups.com>
 <1malv6h6q31j3.uz9ws5j0glnm.dlg@40tude.net>
 <f584ceac-d250-4752-96ff-6b5aa9edc473@l4g2000vbz.googlegroups.com>
 <fsmyepvncyb2$.2ik4vw3vu74h.dlg@40tude.net> <j5j2gl$t9j$1@munin.nbi.dk>
 <muk0d5mdqzpv.tnxjyzn8jw6k$.dlg@40tude.net> <j5qvgp$ffv$1@munin.nbi.dk>
 <on80kbkn7k0e.1ryr5zau1xg4k$.dlg@40tude.net>
In-Reply-To: <on80kbkn7k0e.1ryr5zau1xg4k$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4e81a2f4$0$7624$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 27 Sep 2011 12:18:28 CEST
NNTP-Posting-Host: 60070946.newsspool1.arcor-online.net
X-Trace: 
 DXC=70?6`=AJ^L4NTD<CL>55K=ic==]BZ:af>4Fo<]lROoR1<`=YMgDjhg28Y9d<0BE=77nc\616M64>:Lh>_cHTX3j=dKQi>\Gj\\8
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:21132
Date: 2011-09-27T12:18:28+02:00
List-Id: <comp.lang.ada>

On 27.09.11 10:10, Dmitry A. Kazakov wrote:

> Consider a type system where your precious kludges of old Ada would become
> some type expressions and library implementations rather than built-in
> stuff.

In the opposite direction, an alternative effort would set out
to find language for the field tested patterns hidden in libraries.
Of course, such language  would be made for normal programmers,
not for compiler professionals who have reason to tweak patterns.