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,2ff5c149712ec0eb
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!cyclone1.gnilink.net!gnilink.net!cycny01.gnilink.net!hwmnpeer01.lga!hwmnpeer01.ams!news.highwinds-media.com!multikabel.net!feed10.multikabel.net!feeder3.cambrium.nl!feeder2.cambrium.nl!feed.tweaknews.nl!border2.nntp.ams.giganews.com!nntp.giganews.com!newsfeed.freenet.de!npeer.de.kpn-eurorings.net!npeer1.kpn.DE!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Ada Interfaces and the Liskov Substitution Principle
From: Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>
In-Reply-To: <Pine.LNX.4.64.0705241620060.1471@th.informatik.uni-mannheim.de>
	 <Pine.LNX.4.64.0705232101220.20072@th.informatik.uni-mannheim.de>
	 <j9efcq4r6us8.1dea2feb0ngd3$.dlg@40tude.net>
	 <Pine.LNX.4.64.0705241246140.29726@th.informatik.uni-mannheim.de>
	 <7b9qiwewqptb$.16g096so0lqf8.dlg@40tude.net>
	 <Pine.LNX.4.64.0705241620060.1471@th.informatik.uni-mannheim.de>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Message-Id: <1180018814.1163.36.camel@kartoffel>
Mime-Version: 1.0
X-Mailer: Evolution 2.10.1 
Date: Thu, 24 May 2007 17:00:14 +0200
Organization: Arcor
NNTP-Posting-Date: 24 May 2007 17:00:10 CEST
NNTP-Posting-Host: 5045efcc.newsspool2.arcor-online.net
X-Trace: 
 DXC=NLlm[4oZo@\HigV@eW57PQA9EHlD;3YcR4Fo<]lROoRQ8kF<OcfhCO[bd4<fe6\3[^=kbmW`a1fGWC`2T@AUZfC[b\]^KZRob_T
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15911
Date: 2007-05-24T17:00:10+02:00
List-Id: <comp.lang.ada>

On Thu, 2007-05-24 at 16:41 +0200, Stefan Lucks wrote:
> On Thu, 24 May 2007, Dmitry A. Kazakov wrote:

> > Yes, but then LSP should be re-formulated appropriately. And there is
> > nothing automatically wrong in disallowing operations. I would like to see
> > it in Ada.
> 
> Is there any language that allows that? I am dreaming of something like
> 
>    type Base is new Some_Tagged_Type with ...;
>      procedure Primitive_1(...);
>      procedure Primitive_2(...);

Interesting. Not exactly the same, but
http://www.lisp.org/HyperSpec/Body/sec_7-2.html

I guess many of the dynamically typed languages have similar
features.