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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.ecp.fr!aioe.org!.POSTED!not-for-mail
From: "Nasser M. Abbasi" <nma@12000.org>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Sat, 12 Apr 2014 03:39:44 -0500
Organization: Aioe.org NNTP Server
Message-ID: <liau4g$nrr$1@speranza.aioe.org>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <tvtYu.83108$tD4.27538@fx25.iad> <lgve1q$b56$1@loke.gir.dk>
 <x9RYu.3020$XJ3.767@fx09.iad> <lh26es$3gg$1@loke.gir.dk>
 <o4o5ao9k7hz9.l7ebk8qxfv32.dlg@40tude.net> <lh4pfe$vrn$1@loke.gir.dk>
 <8bhozh836pyt$.1qctlysud0s2q$.dlg@40tude.net> <lhcv8r$iol$1@loke.gir.dk>
 <1cdsyxjzsfgzm.1synpaujysv21$.dlg@40tude.net> <lhi3ia$bos$1@loke.gir.dk>
 <1aa804jg9qq4o$.wdiq33yo621l.dlg@40tude.net> <lhviiu$q77$1@loke.gir.dk>
 <yl8s1sbhw0lw.1bhypcrvreord.dlg@40tude.net> <li217v$uvk$1@loke.gir.dk>
 <1w6eh0aiksmdh$.1h16p7y0b8c6h.dlg@40tude.net> <li5354$c8e$1@loke.gir.dk>
 <17twpp4p8u7o$.1idvzaaio4f3t$.dlg@40tude.net>
 <bqqsmqFk8b9U1@mid.individual.net> <s604jsja4ayt.yf0xqwsaue9d.dlg@40tude.net>
 <bqr781FmefuU1@mid.individual.net>
 <1wjmcbk375lzk.6o7dpqcp3va3.dlg@40tude.net>
Reply-To: nma@12000.org
NNTP-Posting-Host: 7pEHGS+B4V/UqyqhVfVAew.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 2767
Xref: number.nntp.dca.giganews.com comp.lang.ada:185692
Date: 2014-04-12T03:39:44-05:00
List-Id: <comp.lang.ada>

On 4/12/2014 3:20 AM, Dmitry A. Kazakov wrote:


> I need a language for software engineering. More static checks,
> more means to make static checks possible. The whole language should
> revolute around helping restructuring my programs in order to support
> static checks. No Constraint_Error to me, please!
>

New languages seems to be all going the other way?
the new language Julia

http://en.wikipedia.org/wiki/Julia_%28programming_language%29

It is all about dynamic multiple dispatching

http://en.wikipedia.org/wiki/Multiple_dispatch

In Julia, the way I understand it, when defining a function
with some signature, then a compiled instance of this function
is made for all the possible primitive types (int16, int32,
real32, real64, etc...) and when the program is run,
the run-time automatically dispatches to the correct matching
function based on the argument used at time the call is made.

It seemed to me just Ada generics, but done automatically.

Those good old fashioned, strong static type checking
at compile time computer languages, seem like, well, old
fashioned these days.

--Nasser