-
Data: 2012-06-14 09:28:39
Temat: Re: Czym jest programowanie?
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 14 Cze, 06:38, Andrzej Jarzabek <a...@g...com> wrote:
> Z Adą nie jest przypadkiem tak, że wymusza dodatkowe runtime checks w
> celu uniknięcia undefined behaviour?
Z Adą jest tak, że *jeśli* masz sytuację wyjątkową, to ma być wyjątek.
Nie znaczy to wcale, że w kodzie zawsze musi być check. To, co Adę
odróżnia od Javy to znacznie bogatszy system typów i znacznie bardziej
rozbudowane reguły języka, które pozwalają kompilatorowi na statyczne
stwierdzenie, że skoro sytuacja wyjątkowa nie wystąpi, to nie trzeba
wstawiać run-time checków.
Koncepcyjnie nie jest to wielka filozofia. Przykład w Javie:
for (int i = 0; i < myArray.length; ++i) {
System.out.println(myArray[i]);
}
To jest pattern, który kompilator może rozpoznać jako bezpieczny i
wtedy nie ma potrzeby wstawiać checków w miejscu indeksowania. Podobno
kompilator Javy z tego korzysta. Problem z Javą polega na tym, że w
zasadzie to jest również granica tego typu działań, bo system typów
jest tak żałosny (właściwie można go określić mianem "skryptowy"), że
nic więcej nie wiadomo. Czy w tablicy są nulle? Czy te obiekty są
niezależne, czy może są wzajemnie poaliasowane? Itd.
Ada pozwala zapisać w typach i w kodzie znacznie więcej informacji,
więc kompilator ma też znacznie większe możliwości redukcji checków. W
praktyce i przy właściwym wykorzystaniu języka checki są wstawiane
tylko tam, gdzie naprawdę muszą, czyli np. przy rzutowaniu typów, przy
odczycie z I/O, itp.
Checki w Adzie można też lokalnie bądź globalnie wyłączyć, z
oczywistymi konsekwencjami.
Istnieje też powiązany z Adą język SPARK, w którym w ogóle nie ma
wyjątków, bo język gwarantuje, że nie ma sytuacji wyjątkowych, które
normalnie wymagalyby run-time checka.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
Następne wpisy z tego wątku
- 14.06.12 10:18 Roman W
- 14.06.12 10:16 Roman W
- 14.06.12 11:23 Edek Pienkowski
- 14.06.12 12:31 Wojciech Muła
- 14.06.12 15:28 Maciej Sobczak
- 14.06.12 16:35 Roman W
- 14.06.12 16:51 Wojciech Muła
- 14.06.12 17:34 AK
- 14.06.12 17:52 Roman W
- 14.06.12 20:00 slawek
- 14.06.12 20:20 slawek
- 14.06.12 20:23 slawek
- 14.06.12 20:25 slawek
- 14.06.12 20:28 slawek
- 14.06.12 20:32 noma
Najnowsze wątki z tej grupy
- 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
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
Najnowsze wątki
- 2025-07-28 Warszawa => Sales Executive / KAM <=
- 2025-07-28 Było 83V
- 2025-07-28 Białystok => Programista Mainframe (z/OS, Assembler) <=
- 2025-07-28 Warszawa => Dyrektor Sprzedaży (rozwiązania Cloud) <=
- 2025-07-28 Białystok => Delphi Programmer <=
- 2025-07-28 Warszawa => Specjalista/stka ds. Organizacji <=
- 2025-07-28 Warszawa => Senior Key Account Manager IT <=
- 2025-07-28 Warszawa => Software Engineer .Net <=
- 2025-07-28 Białystok => Programista Delphi <=
- 2025-07-28 Warszawa => MENA New Business Manager <=
- 2025-07-28 Stare komputery
- 2025-07-28 Warszawa => Junior Rekruter <=
- 2025-07-28 cinkciarz.pl
- 2025-07-28 Warszawa => Młodszy Specjalista ds. wsparcia sprzedaży <=
- 2025-07-28 Warszawa => Developer Microsoft Dynamics 365 Finance & Operations (D36