On Wednesday, April 1, 2015 at 9:01:27 AM UTC+2, firr wrote:
> W dniu środa, 1 kwietnia 2015 00:08:38 UTC+2 użytkownik g...@g...com
napisał:
> > W dniu wtorek, 31 marca 2015 23:59:41 UTC+2 użytkownik slawek napisał:
> >
> > > >Nie twierdzę, że jestem bystry, jak również nie twierdziłem nigdzie,
> > > >że mam w temacie mnóstwo doświadczenia. Moje doświadczenie jest raczej
> > > >skromne, ale za to dzielę się nim chętnie, w związku z czym większość
> > >
> > > Więc się podziel.
> >
> > Przecież się podzieliłem. Wszystko, o czym piszę, staram się
> > dokumentować, podawać odnośniki. Jeżeli masz jakieś konkretne
> > pytanie, to je zadaj, a wówczas postaram się odpowiedzieć
> > w miarę swoich skromnych możliwości
> >
> > > Gdzie i do czego? Przecież skoro uważasz, ze dowody
> > > formalne to podstawa, to chyba nie konfabulujesz, tylko opierasz się na
> > > faktach.
> >
> > Gdzie napisałem, że "dowody formalne to podstawa"? Podstawa czego?
>
> dowodzenie to tak naprawde postawa kodowania
> - programujac bez przerwy dowodzisz sobie
> ze piszac A a pozniej B wynik bedzie taki jak
> zalożony
Zgadzam się, tyle że rzadko kto robi to formalnie. Ja przyznaję,
że już dawno w ogóle zapomniałem jak się formalnie przeprowadza
dowody. Może warto byłoby się podszkolić...


> sa to nawet mz zupelnie formalne dowodzenia
Właśnie tego nigdy u nikogo nie zaobserwowałem.


> gorzej jest jesli ktos pracuje gdzies w jakiejs
> firmie np pod presja czasu
Nie dość że pod presją czasu, to jeszcze pod innymi
presjami a do tego nie wie czy za chwile ktoś nie
zmieni zdania i duża część systemu nie pójdzie do
kosza.

> i nie jest do konca
> pewien jak działa np jakies api z ktorym sie
> łaczy wtedy ten łancuch dowodzenia moze sie
> zerwać
To już w ogóle robi się sieczka.

> (mnie np mozno irytowaly moje pierwsze
> doswiadczenia a winapi ktore mz nie bylo w tym
> sensie odpowiednio udokumentowane tak ze mozna
> co najwyzej prawdopodobnie zalozyc a nie
> miec pewnosc ze ten kod jest ok - (pozniej mi
> troche minelo posrednio na skutek powtarzalnosci
> testowania i posrednio tez na skutek ogladania
> innych kodów ktore maja to zrobione tak samo)