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