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,21960280f1d61e84
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Newsgroups: comp.lang.ada
Subject: Re: How come Ada isn't more popular?
References: <1169531612.200010.153120@38g2000cwa.googlegroups.com>
 <20070123211651.c0d43695.tero.koskinen@iki.fi>
 <87zm89tpk7.fsf@ludovic-brenta.org> <ep7al8$vm5$1@cernne03.cern.ch>
 <4q4pqgmdwo.fsf@hod.lan.m-e-leypold.de> <ep9q80$uul$1@cernne03.cern.ch>
 <1169719988.972296.121430@a75g2000cwd.googlegroups.com>
 <4iauh.1157694$084.1040745@attbi_s22>
 <wcac06d6xh.fsf@hod.lan.m-e-leypold.de> <Ymfuh.321356$FQ1.7034@attbi_s71>
 <fL7vh.14164$ji1.12684@newssvr12.news.prodigy.net>
 <ogy7nmsrog.fsf@hod.lan.m-e-leypold.de>
 <l5pvh.23502$yC5.18149@newssvr27.news.prodigy.net>
From: Markus E Leypold
 <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>
Organization: N/A
Date: Mon, 29 Jan 2007 17:35:41 +0100
Message-ID: <t88xfl7puq.fsf@hod.lan.m-e-leypold.de>
User-Agent: Some cool user agent (SCUG)
Cancel-Lock: sha1:l/Y+3lATAgesq8Ckpgi3oYFGoUQ=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 88.72.222.69
X-Trace: news.arcor-ip.de 1170088253 88.72.222.69 (29 Jan 2007 17:30:53 +0200)
X-Complaints-To: abuse@arcor-ip.de
Path: 
 g2news2.google.com!news3.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!news.tu-darmstadt.de!newsfeed.hanau.net!news-fra1.dfn.de!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail
Xref: g2news2.google.com comp.lang.ada:8714
Date: 2007-01-29T17:35:41+01:00
List-Id: <comp.lang.ada>


<adaworks@sbcglobal.net> writes:

> "Markus E Leypold" <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de> 
> wrote in message news:ogy7nmsrog.fsf@hod.lan.m-e-leypold.de...
>>
>> PS: You didn't, I think, answer my question, why you don't think Java is type 
>> safe ... ?
>>
> To start with, I don't like type promotion.
>
> More later.

Yes, please continue. 

Type promotion is annoying with regard to the readers ability to
easily see the semantic of the programm, but it's IMHO not type unsafe
in the sense of the definition given in Cardelli's paper, because it
doesn't break the abstraction of the represention of the program and
its values by the underlying "machine level stuff" (i.e. VM or CPU
instructions and machine words). Again I hope that sentence is
understandable, if not I'll be glad to elaborate :-).

Regards -- Markus