🚀 go-pugleaf

Sektor van Skijlen <ethouris@pl.wp.spamu.lubie.nie.invalid> writes:

> Dnia Wed, 02 Nov 2005 19:43:13 +0100, Piotr Dembiński skrobie:
>> A.L. <alewando@kapturek62.com> writes:
>
>> [...]
>
>> > Chodzi o to zeby program byl poprawny, a mozliwie duza czesc tej
>> > poprawnosci zweryfikowal kompilator.
>
>> Teraz takich rzeczy nie robi się kompilatorem, tylko automatycznymi
>> testami jednostkowymi :)
>
> Ciekaw jestem przede wszystkim, kto te testy napisze. I ile będzie
> to kosztowało.

Ten koszt powinien się zamortyzować.  A testy jednostkowe dla swojego
kodu powinni pisać programiści.

> Biorąc pod uwagę, że Smalltalk zdechł a jego dorobek po części
> przejęła Java, obawiam się, że należało to zdanie zacząć 
> od "Kiedyś nie robiło się takich rzeczy kompilatorem...".

:)

>> > Jeden z tworcow Smalltalka powiedzial keidys: "raczej bym nie
>> > chcial poleciec samolotem w ktorym oprogramowanie jest napisane 
>> > w Smalltalku.
>
>> No to szkoda, że tak powiedział.  Ludzie mówią różne rzeczy.
>
> Zebrało się gościowi na szczerość...

Może wpadł w dołek :)

>> > W krytycznej chwili, na przyklad podczas ladowania, Smalltalk
>> > moglby powiedziec doesNotUnderstand".
>
>> Wow.  A procesorowi mógłby się spalić pin i nic by nie powiedział
>> :)
>
> Problem tylko w tym, że sprzęt stosowany dzisiejszych tego typu
> urządzeniach jest znacznie mniej skomplikowany (i rozbudowany), 
> niż oprogramowanie. A ja wiem co mówię, bo widziałem źródła "procka"
> który bywa używany do takich sprzętów i choćby porównanie wielkości
> z projektem oprogramowania, które miało na tym chodzić, to różnica 
> w rzędach wielkości. Co ma mieć sprzęt? Właściwie nic; ma mieć
> procesor, pamięć i urządzenia do wspomagania komunikacji. Czasem 
> w razie potrzeby procesor specjalistyczny (typu DSP). Co ma robić?
> Wykonywać oprogramowanie. Tyle.
>
> Właśnie dlatego poprawność działania sprzętu jest wbrew pozorom
> ZNACZNIE łatwiej zapewnić, niż poprawność działania
> oprogramowania. To nie tylko nie są rzeczy równorzędne; 
> to są rzeczy wręcz nieporównywalne.

Niom, dlatego programiści zarabiają więcej niż elektronicy.

-- 
http://www.piotr.dembiński.prv.pl