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.116.1 with SMTP id js1mr57200qeb.19.1360921072128; Fri, 15 Feb
    2013 01:37:52 -0800 (PST)
    X-Received: by 10.49.116.1 with SMTP id js1mr57200qeb.19.1360921072128; Fri, 15 Feb
    2013 01:37:52 -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!goblin1!goblin.stu.neva.ru!t1no1159790qaz.0!news-out.googl
    e.com!k2ni33058qap.0!nntp.google.com!t1no1159788qaz.0!postnews.google.com!glegr
    oupsg2000goo.googlegroups.com!not-for-mail
    Newsgroups: pl.comp.programming
    Date: Fri, 15 Feb 2013 01:37:51 -0800 (PST)
    In-Reply-To: <kfjq4l$aiv$1@somewhere.invalid>
    Complaints-To: g...@g...com
    Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=195.182.34.201;
    posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
    NNTP-Posting-Host: 195.182.34.201
    References: <f...@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>
    <kfbuak$lvs$1@somewhere.invalid>
    <0...@g...com>
    <kff8f5$nrb$1@somewhere.invalid>
    <0...@g...com>
    <kfjq4l$aiv$1@somewhere.invalid>
    User-Agent: G2/1.0
    MIME-Version: 1.0
    Message-ID: <6...@g...com>
    Subject: Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
    From: Maciej Sobczak <s...@g...com>
    Injection-Date: Fri, 15 Feb 2013 09:37:52 +0000
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: quoted-printable
    Xref: news-archive.icm.edu.pl pl.comp.programming:202054
    [ ukryj nagłówki ]

    W dniu czwartek, 14 lutego 2013 23:57:25 UTC+1 użytkownik Andrzej Jarzabek napisał:

    > DLL-ki to tylko trick, który ułatwia życie. Częścią definicji języka
    > (jego modelu kompilacji) są object files.

    Nie są. Np. C++ coś tam wspomina, że translation units mogą być translowane osobno i
    potem zlinkowane, ale kompletnie niczego nie określa. Można sobie wyobrazić
    implementację, która używa w tym celu bazy danych.

    > Rozwiązanie, w którym ja
    > dostarczam program korzystający z funkcji w postaci zestawu object
    > files, a kto inny dostarcza tych funkcji w postaci object files, a
    > klient sobie to wszystko linkuje statycznie linkerem przed uruchomieniem
    > ma dokładnie ten sam problem,

    Nie musi mieć i np. w Adzie nie ma. To, że ma w C++ wynika z badziewności typowego
    zestawu narzędzi, ale nie z języka.
    DLL już całkowicie jest poza językiem. Jak Ci nie działa, to naprawiaj to tam, gdzie
    jest zepsute, czyli nie w języku.

    > Problem jest taki, że coupling między skompilowanymi object files jest
    > tight - muszą być skompilowanymi z tymi samymi definicjami typów, bo
    > inaczej nie ma żadnych gwarancji na to, że będzie działało.

    I bardzo dobrze. To jest zaleta statycznego systemu.

    > No więc sam masz przykład na to, że w pewnych realnych sytuacjach
    > spotykanych w dużych systemach taki np. C++ po prostu nie działa dobrze,
    > bo musisz "wychodzić poza język" i "używać dynamicznych tricków".

    Jeżeli dynamiczne techniki nie działają a statyczne działają, to jaki z tego wniosek
    w kontekście tytułu tego wątku?

    > >> W języku statycznie typowanym możesz mieć nawet:
    > >> TreeSet s = new TreeSet();
    > >> s.add(new CannotCompare());
    >
    > > To nie jest język statycznie typowany, nawet jeśli tak ma napisane na pudełku.
    >
    > Niby dlaczego? Biorąc pod uwagę całą historię języków statycznie
    > typowanych,

    OK, w takim razie nie dogadaliśmy się. Ty piszesz o tym, że nawet języki statyczne
    dają narzędzia do strzelania sobie w stopę i to wiadomo.
    Ja piszę o tym, że przynajmniej wiadomo, jaki jest zakres użycia tych niebezpiecznych
    ficzerów: ja dynamiczność jest tylko tam, gdzie ja chcę ją mieć (w szczególności
    nigdzie) a nie totalnie wszędzie, bez wyboru.

    > No to proszę bardzo, przykład w C++:

    > B& b = dynamic_cast<B&> a;

    > Skompiluje się?

    Tak. Jeżeli dynamiczne ficzery prowadzą do programów, które nie działają, to est to
    argument przeciwko dynamicznym ficzerom.

    > Jeśli uważasz, że dynamic_cast jest dynamicznym trickiem
    > i dlatego działa źle, to zamień sobie na static_cast i zastanów się, czy
    > na pewno będzie lepiej.

    UB. Język wyraźnie mówi, że nie wolno tego static cast zrobić. Kompilator nie nadąża,
    więc może język jest za mało statyczny?

    Jeżeli jakiś ficzer prowadzi do programów, które nie działają, to jest to argument
    przeciwko temu ficzerowi.
    Nie rozumiem, jak język dynamiczny miałby poprawić poprawność w tym kontekście.

    --
    Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com

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: