-
X-Received: by 10.49.116.139 with SMTP id jw11mr1644381qeb.12.1360833729934; Thu, 14
Feb 2013 01:22:09 -0800 (PST)
X-Received: by 10.49.116.139 with SMTP id jw11mr1644381qeb.12.1360833729934; Thu, 14
Feb 2013 01:22:09 -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!p13no16193143qai.0!news-out.
google.com!k2ni32873qap.0!nntp.google.com!p13no16193134qai.0!postnews.google.co
m!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 14 Feb 2013 01:22:09 -0800 (PST)
In-Reply-To: <kfi6js$tpj$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>
<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>
<5...@h...googlegroups.com>
<8...@g...com>
<a...@d...googlegroups.com>
<9...@g...com>
<kfi6js$tpj$1@somewhere.invalid>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2...@g...com>
Subject: Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
From: Maciej Sobczak <s...@g...com>
Injection-Date: Thu, 14 Feb 2013 09:22:09 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:202047
[ ukryj nagłówki ]W dniu czwartek, 14 lutego 2013 09:18:03 UTC+1 użytkownik Andrzej Jarzabek napisał:
> OO w realizacji takiej jak Java/C++ ma dokładnie takie same problemy ze
> współbieżnością co programowanie strukturalne/proceduralne, którego jest
> prostym rozwinięciem.
Ale to nie jest wina OO, tylko tego rozwinięcia.
Ja nadal nie widzę w OO niczego, co by miało mieć problem ze współbieżnością.
> Wszystkie te paradygmaty mają problem ze
> współbieżnością, który jest związany z dzieleniem stanu,
Ja nie widzę niczego w OO, co zmuszałoby mnie do dzielenia stanu a tam, gdzie
chciałbym stan dzielić, będę musiał to zrobić niezależnie od paradygmatu.
> Również "modelowy" OO, chociaż opiera się na dzieleniu stanu,
W którym miejscu się opiera?
> Przecież Python nie nadaje się do systemów czasu rzeczywistego i w ogóle
> słabo do systemów embedded (wymaga interpretera i sporego wsparcia
> systemu operacyjnego).
A jakiś dynamiczny język nie wymaga?
> W skrócie - nie mam nic do powiedzenia w kwestii czego używać do
> tworzenia oprogramowania w przypadku, kiedy używa się metod formalnych,
> ale czego by się nie używało, nie przyjmę tego za automatyczny dowód na
> to, że te same technologie dadzą lepszą niezawodność również w sytuacji,
> gdzie metod formalnych się nie używa.
Dowód polega na tym, że nie da się powiedzieć, w którym momencie już używa się metod
formalnych a w którym się nie używa. Np. ja używam metod formalnych kompilując
program w C++ - kompilator sprawdza tyle ile umie i mówi mi, co zrobiłem źle - mogę
go nawet poprosić, żeby tylko sprawdzał i nawet nie generował kodu. Granica jest tu
płynna i ta płynność objawia się też dostępnością narzędzi, które oferują różne
poziomy weryfikacji.
Czyli język statyczny pozwala mi używać metod formalnych na różnych poziomach,
zależnie od moich potrzeb i umiejętności - w szczególności mogę dołożyć nowe
narzędzie w trakcie trwania projektu.
Oczywiście różne języki różnie to wspierają, ale statyczne wypadają tu znacznie
lepiej, niż dynamiczne.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
Następne wpisy z tego wątku
- 14.02.13 11:11 firr kenobi
- 14.02.13 23:57 Andrzej Jarzabek
- 15.02.13 01:08 Andrzej Jarzabek
- 15.02.13 09:20 firr kenobi
- 15.02.13 10:37 Maciej Sobczak
- 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
Najnowsze wątki z tej grupy
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
Najnowsze wątki
- 2024-11-29 Błonie => Sales Specialist <=
- 2024-11-29 Warszawa => IT Expert (Network Systems area) <=
- 2024-11-29 Warszawa => Ekspert IT (obszar systemów sieciowych) <=
- 2024-11-29 Warszawa => Head of International Freight Forwarding Department <=
- 2024-11-29 Białystok => Inżynier Serwisu Sprzętu Medycznego <=
- 2024-11-29 Pómpy ciepła darmo rozdajoo
- 2024-11-29 Białystok => Application Security Engineer <=
- 2024-11-29 Białystok => Programista Full Stack (.Net Core) <=
- 2024-11-29 Gdańsk => Software .Net Developer <=
- 2024-11-29 Wrocław => Key Account Manager <=
- 2024-11-29 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-11-29 Chrzanów => Specjalista ds. public relations <=
- 2024-11-27 Re: UseGalileo -- PRODUKTY I APLIKACJE UŻYWAJĄ JUŻ DZIŚ SYSTEMU GALILEO
- 2024-11-27 Re: UseGalileo -- PRODUKTY I APLIKACJE UŻYWAJĄ JUŻ DZIŚ SYSTEMU GALILEO
- 2024-11-28 droga laweta