-
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
Następne wpisy z tego wątku
- 15.02.13 10:59 Maciej Sobczak
- 15.02.13 11:20 AK
- 15.02.13 11:52 Andrzej Jarzabek
- 15.02.13 12:20 AK
- 15.02.13 12:29 Andrzej Jarzabek
- 15.02.13 15:34 firr kenobi
- 15.02.13 16:46 Maciej Sobczak
- 15.02.13 19:30 AK
- 16.02.13 11:18 Andrzej Jarzabek
- 16.02.13 13:22 Edek Pienkowski
- 17.02.13 17:56 R.e.m.e.K
- 17.02.13 19:06 Michal Kleczek
- 17.02.13 22:00 Piotr Chamera
- 19.02.13 09:39 Michal Kleczek
- 19.02.13 10:44 AK
Najnowsze wątki z tej grupy
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
Najnowsze wątki
- 2025-07-07 Re: Ząbki się spaliły jak wiejskie, drewniane stodoły sprzed 50 lat
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 TV z Play (dawniej UPC) -- potrzebny dekoder?
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 mija rok jeżdzenia po lewej
- 2025-07-06 Elektryki jednak są NIEBEZPIECZNE
- 2025-07-08 Fajny film widziałem...
- 2025-07-07 Re: Ząbki się spaliły jak wiejskie, drewniane stodoły sprzed 50 lat
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 Gdańsk => Programista Kotlin <=
- 2025-07-07 Białystok => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-07 Warszawa => Asystent ds. Sprzedaży i Rozwoju Klienta <=
- 2025-07-07 Warszawa => International Freight Forwarder <=
- 2025-07-07 Warszawa => Java Developer <=
- 2025-07-07 Białystok => Software Engineer .Net <=