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,73cb216d191f0fef
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.106.73 with SMTP id gs9mr6848997wib.2.1363273039135;
        Thu, 14 Mar 2013 07:57:19 -0700 (PDT)
Path: 
 g1ni65563wig.0!nntp.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!217.188.199.168.MISMATCH!takemy.news.telefonica.de!telefonica.de!newsfeed.freenet.ag!87.79.20.101.MISMATCH!newsreader4.netcologne.de!news.netcologne.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 14 Mar 2013 15:57:18 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130307 Thunderbird/17.0.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <wccfw017lkv.fsf@shell01.TheWorld.com>
 <b9c8e444-4fcc-489f-8101-0a2873807987@googlegroups.com>
 <mtz6eyrgv524.r2yf3jw9vid3$.dlg@40tude.net>
 <wccmwu8r0xh.fsf@shell01.TheWorld.com>
 <8klywqh2pf$.1f949flc1xeia.dlg@40tude.net>
 <513f6e2f$0$6572$9b4e6d93@newsspool3.arcor-online.net>
 <b3jec1s37hwu$.bg5cvsul0r5$.dlg@40tude.net>
 <513faaf7$0$6626$9b4e6d93@newsspool2.arcor-online.net>
 <aufd7vornmrk.2dxqrc3egrtg$.dlg@40tude.net> <khphpb$5f1$1@dont-email.me>
 <w46epyd1vjc2.1e1bviaog2kwi$.dlg@40tude.net>
 <51408e81$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1xqmd3386hvns.1og1uql2cgnuf$.dlg@40tude.net>
 <5140b812$0$6575$9b4e6d93@newsspool3.arcor-online.net>
 <vxjicagtvzjg.1bcu3fzy711ux$.dlg@40tude.net>
 <5140f1ad$0$6634$9b4e6d93@newsspool2.arcor-online.net>
 <7jct0noryc1v.1rnj5kkzx6m35.dlg@40tude.net>
 <5141c499$0$6642$9b4e6d93@newsspool2.arcor-online.net>
 <18r2kop6fyozu.tctrjnghfxqs.dlg@40tude.net>
In-Reply-To: <18r2kop6fyozu.tctrjnghfxqs.dlg@40tude.net>
X-Enigmail-Version: 1.5.1
Message-ID: <5141e54e$0$6628$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 14 Mar 2013 15:57:18 CET
NNTP-Posting-Host: 6c01c51b.newsspool2.arcor-online.net
X-Trace: 
 DXC=<=NQVDl[c8Z[7Non7UCi8UA9EHlD;3YcR4Fo<]lROoRQ8kF<OcfhCO[\M8Q7Z_Bh2]nc\616M64>ZLh>_cHTX3j]Pdnf@WAPKE_
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2013-03-14T15:57:18+01:00
List-Id: <comp.lang.ada>

On 14.03.13 15:26, Dmitry A. Kazakov wrote:
> Dynamic predicates will be seen, felt and used
> as abstract data types

Well put, and this can put an end to a discussion
based on nothing but a lexical ambiguity of "type".