eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingJakie typowanie jest najlepsze i dlaczego statyczne?Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
  • X-Received: by 10.49.81.72 with SMTP id y8mr2140120qex.42.1360077641514; Tue, 05 Feb
    2013 07:20:41 -0800 (PST)
    MIME-Version: 1.0
    X-Received: by 10.49.81.72 with SMTP id y8mr2140120qex.42.1360077641514; Tue, 05 Feb
    2013 07:20:41 -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!news.glorb.com!p13no14578877qai.0!news-out.
    google.com!k2ni8440qap.0!nntp.google.com!p13no12898146qai.0!postnews.google.com
    !r8g2000vbj.googlegroups.com!not-for-mail
    Newsgroups: pl.comp.programming
    Date: Tue, 5 Feb 2013 07:20:41 -0800 (PST)
    Complaints-To: g...@g...com
    Injection-Info: r8g2000vbj.googlegroups.com; posting-host=80.254.146.36;
    posting-account=jr5y-woAAAAWidgVjrSJ6j8m650CTb-v
    NNTP-Posting-Host: 80.254.146.36
    References: <f...@g...com>
    <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
    X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.17 (KHTML, like
    Gecko) Chrome/24.0.1312.56 Safari/537.17,gzip(gfe)
    Message-ID: <6...@r...googlegroups.com>
    Subject: Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
    From: Andrzej Jarzabek <a...@g...com>
    Injection-Date: Tue, 05 Feb 2013 15:20:41 +0000
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: quoted-printable
    Xref: news-archive.icm.edu.pl pl.comp.programming:201893
    [ ukryj nagłówki ]

    On Feb 5, 3:03 pm, "Stachu 'Dozzie' K."
    <d...@g...eat.some.screws.spammer.invalid> wrote:
    > On 2013-02-05, M.M. <m...@g...com> wrote:
    >
    > > W C/C++/Javie udało się usunąć ten element języka, a jeśli się
    > > udało i języki funkcjonują dobrze, to znaczy, że ten element jest
    > > zbędny.
    >
    > 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 jestem
    > przekonany, czy aby na pewno to eleganckie rozwiązanie, a już na pewno

    Powiedzmy sobie szczerze, że jest ohydne.

    > nie da się tego transplantować do języków o dynamicznym systemie typów.

    Scala ma statyczny system typów, ale tam akurat deklaracje typów
    funkcji i argumentów są zbędne.

    > Innych pomysłów na usunięcie jawnego wskazywania deklaracji/definicji
    > funkcji sobie nie przypominam.

    Proszę bardzo:
    diag a b = sqrt(a*a+b*b)

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: