Kezdőoldal » Számítástechnika » Programozás » Miben jobb egy erősen/statikus...

Miben jobb egy erősen/statikusan típusos nyelv, mint egy gyengén/dinamikusan típusos?

Figyelt kérdés
Gondolom nem csak a típushibák elkerülése a cél, hanem például az előbbi nyelveken írt programok gyorsabbak is.

2021. ápr. 4. 14:07
1 2
 11/14 anonim ***** válasza:
0%

"Az Ariané 5 bugját egy sima túlcsordulás okozta"


Így is lehet mondani azt, amikor egy 64 bites float adat az intre történő konverzió után is túl nagynak bizonyul ahhoz, hogy 16 biten elférjen.

2021. ápr. 4. 23:41
Hasznos számodra ez a válasz?
 12/14 Alex Fly ***** válasza:
Mondjuk a void tényleg egy szükségmegoldás, ha eljárást akarsz írni egy olyan nyelvben, amelyik csak a függvényt ismeri...
2021. ápr. 5. 00:21
Hasznos számodra ez a válasz?
 13/14 anonim ***** válasza:
91%

Az Ariané 5 vezérlését Adában írták. Azért szeretik arrafelé az Adát, mert az egyik legbiztonságosabb statikusan típusos nyelv. Tele van mindenféle futásidejű ellenőrzéssel, nem tudsz benne tömböt túlindexelni, nincs benne olyan pointeraritmetika mint pl. C-ben, automatikus memóriakezelése van, stb.

A tragédiát az okozta, hogy a vízszintes gyorsulásmérő 64 bites lebegőpontos típusként adta vissza a gyorsulás mértékét, ami nem fért bele a 16 bites egész típusba (az Ariané korábbi verziói esetén ezzel nem volt gond, mert nem voltak képes akkora sebességre), ezért túlcsordult. Az elsődleges irányítórendszer ekkor a hiba miatt leállt, a backup rendszer életbe lépett, de az is leállt. A fő vezérlőrendszer ezt a kapott gyorsulási értéket úgy értelmezte, hogy az egyik oldalon erős korrekcióra van szükség, ezért azt a fúvókát túltolta, a többit pedig lekapcsolta. A rakéta átfordult, az aerodinamikai hatás miatt kettétört és felrobbant.


Mi történt volna, ha a vezérlés ezen részét mondjuk Javascriptben írják? Az történt volna, hogy a 16 bites int, túlcsordulás helyett, implicit castolódott volna 64 bites lebegőpontossá, a vezérlés helyesen korrekciózott volna, és az Ariané 5 talán még ma is röpködne.

2021. ápr. 5. 07:37
Hasznos számodra ez a válasz?
 14/14 anonim ***** válasza:

Sokkal könnyebb típusos nyelvben fejleszteni mert nem kell, hogy azon agyaljak hogy egy változó épp mire képes.


Ezért a nem típusosság nekem nagyon bezavar. Fontos hogy lássam egy változót mi céllal definiáltam ezért én nem típusos nyelvben is kiírom a típusokat.

2021. ápr. 8. 14:04
Hasznos számodra ez a válasz?
1 2

Kapcsolódó kérdések:




Minden jog fenntartva © 2025, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu

A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!