-
Data: 2017-04-25 00:24:29
Temat: Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu poniedziałek, 24 kwietnia 2017 16:16:31 UTC+2 użytkownik Michal napisał:
> > > 1) Ariane5 z Overflow Space Agency
> >
> > Program zrobił dokładnie to, do czego został zaprojektowany. To, że został użyty
*w kontekście*, do którego nie został zaprojektowany, było winą złej integracji
systemu a nie błędów w kodzie. Polecam lekturę raportu z fakapu.
>
> Ciekawe.
> Nie chce mi sie calego czytac. Moglbys krotko napisac, czy aby na pewno
> uzycie jezyka z mocniejszym systemem typow ( np. dependent typing ) nie pomogloby
> zapobiec katastrofie?
Katastrofa wynikała z tego, że z pośpiechu wzięto moduł z mniejszej rakiety i po
prostu trzymając kciuki wsadzono go do większej rakiety, której większa prędkość w
czasie startu (zdaje się, że pozioma składowa) nie zmieściła się w założonym
zakresie. Wynikający z tego wyjątek (nie ma znaczenia, że z powodu wyłączenia
wyjątków software'owych był to wyjątek hardware'owy) trafił do procedury obsługi
polegającej na wysadzeniu całej rakiety w p*zdu.
Lepszy język? Tu nie było żadnego buga a program zachował się tak jak miał się
zachować. Błąd był po stronie inżynierów systemowych, którzy złożyli do kupy rakietę
z klocków z niewłaściwego pudełka. Żaden język przed tym specjalnie nie chroni.
> > > 2) Nadmiarowe zuzycie klawiatury
> >
> > W Notepadzie. Programiści używają lepszych edytorów.
>
> Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
> Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
> sie czyta.
Jest jeszcze gorzej. Średnia szybkość klepania kodu w takich systemach to 1 (słownie:
jedna) linia kodu na inżyniera na dzień. W tym czasie wokół tej jednej linii kodu
powstaje kilka albo kilkanaście stron analiz, powiedzmy, że w Wordzie. Przy tych
proporcjach radość z pisania kodu jest tak wielka, że każdą literkę się celebruje a
ludzie się cieszą, że mogą sobie napisać "begin" albo nawet "BEGIN" (a co!) zamiast
zwykłego jednego nawiasu, powiedzmy klamrowego. W takich warunkach trzeba nie mieć
sumienia, żeby krytykować język za nadmiar pisania. :-)
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 25.04.17 08:29 Roman Tyczka
- 25.04.17 08:44 Tomasz Kaczanowski
- 25.04.17 14:19 m...@k...org
- 25.04.17 19:21 Sebastian Biały
- 26.04.17 08:58 Tomasz Kaczanowski
- 26.04.17 15:46 Maciej Sobczak
- 26.04.17 15:53 Maciej Sobczak
- 26.04.17 18:23 Sebastian Biały
- 26.04.17 22:59 m...@k...org
- 27.04.17 15:16 Maciej Sobczak
- 27.04.17 19:53 Sebastian Biały
- 28.04.17 08:09 Maciej Sobczak
Najnowsze wątki z tej grupy
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
Najnowsze wątki
- 2026-01-29 KSeF - 13 wątpliwości
- 2026-01-29 A ja się pochwalę
- 2026-01-29 Warszawa => Mid/Senior IT Recruiter <=
- 2026-01-29 Warszawa => Senior Java Developer <=
- 2026-01-29 Warszawa => IT Recruiter <=
- 2026-01-28 Degradacja
- 2026-01-28 Wysoki Sąd poinstruował czego unikać wyzywając Owsiaka "Równiejszego"
- 2026-01-28 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-28 Białystok => Preseles Inżynier (background baz danych) <=
- 2026-01-28 Wrocław => Konsultant wdrożeniowy ERP <=
- 2026-01-28 Łódź => Microsoft Engineer <=
- 2026-01-28 Białystok => Tester manualny <=
- 2026-01-27 Tradycja ciągania posłów po sądach za wystąpienia w Sejmie będzie kontynuowana [Lepper 2]
- 2026-01-27 Pierwszy raz sprzedano więcej samochodów zeeletryfikowanych niż ice
- 2026-01-27 Elektryczny Kałasznikow




Jak kupić pierwsze mieszkanie? Eksperci podpowiadają