W dniu piątek, 28 września 2012 22:28:11 UTC+1 użytkownik Edek Pienkowski napisał:
> Czy da się zasymulować w Google zawijanie linii do usenotwego 70
> char perline? Ja tak tylko pytam.

Google Groups jest coraz gorsze.

> Dnia Fri, 28 Sep 2012 13:39:39 -0700, Maciej Sobczak napisal:
> > W dniu piątek, 28 września 2012 19:35:26 UTC+2 użytkownik Sebastian
> > Biały napisał:
> >
> >> > Zastanów się najpierw *po co* istnieją bezpieczne języki.
> >>
> >> Po to aby przeciwdziałać błedom programisty badź specyfikacji w jak
> >> nalepszym stopniu.
> >
> > No właśnie. Ze znanych mi języków Ada robi to lepiej, niż inni.
> Heh. Haskell?

Haskell nie nadaje sie do zastosowan praktycznych, to jezyk akademicki. Lazy
evaluation powoduje, ze bardzo ciezko jest przewidziec, jak szybko sie wykona i ile
pamieci bedzie potrzebowal niewinnie wygladajacy kawalek kodu.

> > rzeczywistego świata, takie jak np. upływ czasu. Czy hasło "system czasu
> > rzeczywistego" coś Ci mówi?
>
> Mi mówi, i polega na czym innym. Na nie wykonywaniu potencjalnie
> kosztownych operacji w wątkach realtime, tylko w wątkach nie-realtime.

A watki realtime beda grzecznie czekaly, az ten "kosztowny" skonczy obliczenia? Wrog
ktory usiluje zestrzelic Twoj samolot, tez grzecznie poczeka, az skonczysz obliczenia
w watku nie-realtime?

> Przewidywanie czasy wykonania nie jest magią. Przynajmniej od 1 roku
> studiów.

Zalezy w jakim jezyku. W C++ z funkcjami wirtualnymi mozesz miec problem, bo wolajac

p->f();

nie wiesz z gory, ktora implementacja f() sie wykona.

> >> A jakiś drugorzędny duperelek zajmuje się częscią łaczącą wyniki z
> >> elektroniką.
> >
> > Drugorzędny? Duperelek? I w czym ten duperelek jest napisany, co?
>
> To zależy od implementacji, ale często w C. Minimalny kod.

Oprogramowanie do Mars Rover napisano wylacznie w C, btw.

> Mało wiesz o statycznej analizie. I o projektach typu Arianne. Po
> pierwsze, stosuje się rozwiązania typu "mamy 3 implementacje i porównujemy
> wyniki" - jeżeli dwa dają te same wyniki, engage. Po drugie, istnieje

Przeciez nie przetestujesz wszystkich kombinacji inputow, jakei moga sie przytrafic
podczas lotu rakiety kosmicznej.

RW