Re: Jakie typowanie jest najlepsze i dlaczego statyczne?

eGospodarka.pl › Grupy › pl.comp.programming › Jakie typowanie jest najlepsze i dlaczego statyczne? › Re: Jakie typowanie jest najlepsze i dlaczego statyczne?

X-Received: by 10.49.60.40 with SMTP id e8mr2085828qer.40.1360077417428; Tue, 05 Feb
2013 07:16:57 -0800 (PST)
X-Received: by 10.49.60.40 with SMTP id e8mr2085828qer.40.1360077417428; Tue, 05 Feb
2013 07:16:57 -0800 (PST)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.unit0.net!feeder.erje.net!us.feeder.erje.net!news.glo
rb.com!p13no12889759qai.0!news-out.google.com!k2ni8440qap.0!nntp.google.com!p13
no12889752qai.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-
mail
Newsgroups: pl.comp.programming
Date: Tue, 5 Feb 2013 07:16:57 -0800 (PST)
In-Reply-To: <s...@j...net>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=89.229.34.123;
posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj
NNTP-Posting-Host: 89.229.34.123
References: <f...@g...com>
<ke4872$acv$1@mx1.internetia.pl>
<6...@g...com>
<ke5fh1$use$1@somewhere.invalid>
<0...@g...com>
<4...@g...com>
<ke9552$6f6$1@somewhere.invalid>
<b...@g...com>
<kebqfs$2e8$1@somewhere.invalid>
<7...@g...com>
<kehdr8$piv$1@somewhere.invalid>
<8...@g...com>
<kem1vl$8n2$1@somewhere.invalid>
<7...@g...com>
<8...@g...com>
<6...@g...com>
<5...@g...com>
<s...@j...net>
<b...@g...com>
<s...@j...net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1...@g...com>
Subject: Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
From: "M.M." <m...@g...com>
Injection-Date: Tue, 05 Feb 2013 15:16:57 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:201892
[ ukryj nagłówki ]
W dniu wtorek, 5 lutego 2013 16:03:12 UTC+1 użytkownik Stachu 'Dozzie' K. napisał:

> Ale tam się tak jakby deklaruje typ zwracany. To "uporanie się" polegało
> na obciążeniu składni przewidzianej dla systemu typów dodatkowym
> obowiązkiem wykrywania deklaracji i/lub definicji funkcji.
Nie znam na wszystkich językach, ale najwyraźniej tutaj
też się deklaruje typ zwracany:
[
def hello2(msg: String): String = {
]

> Nie jestem przekonany, czy aby na pewno to eleganckie rozwiązanie, a
> już na pewno nie da się tego transplantować do języków o dynamicznym
> systemie typów.
Co to jest dynamiczny system typów? Java-reflection podlega pod
dynamiczny system typów czy nie?

Pozdrawiam