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.34.135 with SMTP id z7mr1009128qei.1.1360604502777; Mon, 11 Feb
    2013 09:41:42 -0800 (PST)
    X-Received: by 10.49.34.135 with SMTP id z7mr1009128qei.1.1360604502777; Mon, 11 Feb
    2013 09:41:42 -0800 (PST)
    Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
    atman.pl!goblin2!goblin.stu.neva.ru!feeder1.cambriumusenet.nl!feed.tweaknews.nl
    !209.197.12.246.MISMATCH!nx02.iad01.newshosting.com!newshosting.com!69.16.185.1
    1.MISMATCH!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.hig
    hwinds-media.com!p13no9707214qai.0!news-out.google.com!k2ni23587qap.0!nntp.goog
    le.com!p13no9707205qai.0!postnews.google.com!glegroupsg2000goo.googlegroups.com
    !not-for-mail
    Newsgroups: pl.comp.programming
    Date: Mon, 11 Feb 2013 09:41:42 -0800 (PST)
    In-Reply-To: <3...@g...com>
    Complaints-To: g...@g...com
    Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.134.146.30;
    posting-account=Sb6m8goAAABbWsBL7gouk3bfLsuxwMgN
    NNTP-Posting-Host: 46.134.146.30
    References: <f...@g...com>
    <s...@j...net>
    <1...@g...com>
    <3...@b...softax.pl>
    <b...@g...com>
    <k...@b...softax.pl>
    <4...@g...com>
    <keun5d$lsh$1@somewhere.invalid>
    <f...@g...com>
    <keuri4$nje$1@somewhere.invalid>
    <1...@g...com>
    <keuusd$ovj$1@somewhere.invalid>
    <7...@g...com>
    <kf1b5r$cvj$1@somewhere.invalid>
    <51152b96$0$1306$65785112@news.neostrada.pl>
    <3...@x...googlegroups.com>
    <4...@g...com>
    <kf61vl$fh0$1@somewhere.invalid>
    <c...@g...com>
    <kf8mrj$piq$1@somewhere.invalid>
    <3...@g...com>
    <kf9c7i$61o$1@somewhere.invalid>
    <8...@g...com>
    <3...@g...com>
    User-Agent: G2/1.0
    MIME-Version: 1.0
    Message-ID: <8...@g...com>
    Subject: Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
    From: firr kenobi <p...@g...com>
    Injection-Date: Mon, 11 Feb 2013 17:41:42 +0000
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: quoted-printable
    X-Received-Bytes: 4918
    Xref: news-archive.icm.edu.pl pl.comp.programming:202010
    [ ukryj nagłówki ]

    W dniu poniedziałek, 11 lutego 2013 17:24:41 UTC+1 użytkownik M.M. napisał:
    > W dniu poniedziałek, 11 lutego 2013 10:49:54 UTC+1 użytkownik Maciej Sobczak
    napisał:
    >
    >
    >
    > > Statyczne typowanie ma swój koszt. Pytanie, jaki jest końcowy bilans.
    >
    > Właśnie to jest to. Chodzi o bilans końcowy. Zdaje się, że nikt (łącznie
    >
    > ze mną) nie potrafi w tej dyskusji podać argumentów które by przekonywały
    >
    > o użyciu takiego lubi innego typowania. Wygląda na to że różnica w
    >
    > korzyściach pomiędzy jednym typowaniem a drugim nie jest taka duża, jak
    >
    > pomiędzy asemblerem a językiem wysokiego poziomu.
    >
    >
    >
    > Dwa posty wyżej zauważyłem zaletę dynamicznego typowania: można uruchomić
    >
    > program z błędami, można eksperymentować na tej części działającej, a
    >
    > dopiero po zakończeniu eksperymentów poprawiać części pozostałe. Jest
    >
    > to ewidentna zaleta, bo po co za każdym razem dostosowywać cały program
    >
    > z GUI włącznie, jeśli nie ma jeszcze pewności czy logika zadziała
    >
    > zgodnie z przewidywaniami. Nie trzeba gdzieś na boku zakładać pomocniczego
    >
    > projektu z prototypem.
    >
    >
    >
    > Skupiając się na problemie, widzimy niezaprzeczalną zaletę, wręcz dodatkową
    >
    > możliwość jaką daje typowanie dynamiczne. Jednak nie wiem, czy takie
    >
    > skupianie się jest dobre, raczej jest złe. Liczy się właśnie bilans
    >
    > końcowy, a w tym bilansie pojawia się brak komunikatów o błędach ze strony
    kompilatora.
    >

    Zeby moc o tym pogadac z sensem, nalezalo by
    mz podac przyklad konkretnego kawałka kodu
    ktory w wydaniu wewnetrznietypowym jest
    ladniejszy i prostszy niz w wersji z twardymi
    typami.
    Cos takiego pewnie da sie podac ale akurat ja
    jak wspomnialem prawie wogole nie mam doswiadczen z yakimi kodami, totez zeby cos
    ttakiego podac musialbym sie troche pewnie
    nadlubac (nazastanawiac).

    Mz teki jezyk z ukrytymi automatycznymi typami
    ma jednak racje bytu, takie kodowanie byloby tez inne niz to z twardymi typami,
    bardziej
    abstrakcyjne np moge sobie wyobrazic komendy
    (funkcje) "apply" "send" "find" "load_to_ram" i inne tego rodzaju abstrakcyjne wobec
    konkretnych typow pojecia, ktorymi mozna by pisac uniwersalne programy na
    uniwersalnych 'kontentach' zupelnie niezaleznie od ich typu - bylby to bardziej
    wysokopoziomowy paradygmat
    niz ten z twardymi typami

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: