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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Sat, 12 Apr 2014 12:48:19 +0200
Organization: cbb software GmbH
Message-ID: <dhck34ety2ye.1n74i7hgj4gjq.dlg@40tude.net>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <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> <liau4g$nrr$1@speranza.aioe.org>
 <1126zcuq75dmc.1pgvr5xlvkxp5$.dlg@40tude.net>
 <lib3s5$5nd$1@speranza.aioe.org>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: AuYlnUSfTZrfhAkRjyySpQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:19265
Date: 2014-04-12T12:48:19+02:00
List-Id: <comp.lang.ada>

On Sat, 12 Apr 2014 05:17:42 -0500, Nasser M. Abbasi wrote:

> On 4/12/2014 4:38 AM, Dmitry A. Kazakov wrote:
> 
>> Really? What is the "correct matching" function of int16/real32? Can I have
>> real_bounded_interval_64? What would be int16/real_bounded_interval_64? Who
>> does linear system equation resolution function for int16?
> 
>  From http://julia.readthedocs.org/en/latest/manual/introduction/ it says
> 
> "The ability to define function behavior across
> many combinations of argument types via multiple dispatch"

An ability to define is not a definition. I asked who defines, not if it
were possible to define.

Though people from MIT should know better not to define natural logarithm
for int16...

> It seems to be strongly typed language, but
> in dynamic sense, (when running the program, one finds
> their errors) and not at compile time.

This makes the language untyped. Type errors at run-time are bugs or else
lack of typing. Weak typing is when at run-time there is possible deviation
of behavior, yet no errors. Strong typing is when the deviation of behavior
is promoted to statically detected type error. Since semantics is
incomputable no language is absolutely strong. But Ada is stronger than C.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de