eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpryszcze...Re: pryszcze...
  • Data: 2014-01-15 10:03:05
    Temat: Re: pryszcze...
    Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    W dniu środa, 15 stycznia 2014 08:03:30 UTC+1 użytkownik Paweł Kierski napisał:

    > Statyczna kontrola typ�w daje du�e pole do popisu dla optymalizacji
    > przez kompilator. Vide - rozwijanie szablon�w w C++.

    Rozwijanie szablonów nie za bardzo ma związek z systemem typów. Raczej z brutalnym
    inline'owaniem a to można robić również z typami dynamicznymi.

    Natomiast statyczny system typów jest użyteczny chociażby przez sam fakt, że można z
    góry wygenerować odpowiednie instrukcje asemblera, które będą na pewno dobre do
    wykonania jakiejść operacji. Np. dodawanie zmiennych, o których z góry wiadomo, że są
    32-bitowymi liczbami całkowitymi, można zwykle zrobić jedną instrukcją zamiast
    tysiącem instrukcji, które najpierw pracowicie sprawdzają, jakie typy mają te zmienne
    i czy przypadkiem nie chodzi o sklejanie napisów.

    Na dalszym poziomie statyczny system typów można wykorzystać do *eliminacji*
    operacji, nawet takich, które są wymagane przez język. Np. jeśli w danym języku jest
    sprawdzanie zakresów przy indeksowaniu tablic, to statyczny system typów cząsem
    pozwala kompilatorowi tego sprawdzenia nie robić. Podobnie z innymi sytuacjami
    brzegowymi, jak dzielenie przez 0, itp.
    Problem z językiem C polega na tym, że no niby ma statyczny system typów, ale tak
    kiepski, że nie da się go na tym "dalszym poziomie" wykorzystać ani do optymalizacji
    ani do wykrywania potencjalnych błędów.

    > Tak na marginesie - nie spodziewa�em si� n-tej dyskusji o wy�szo�ci
    > �wi�t Bo�ego Narodzenia nad �wi�tami Wielkiej Nocy.

    Dlaczego? Podobnie jak te swięta, tego typu dyskusje są zjawiskiem okresowym. :-D

    --
    Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: