Dynamiczne pisanie

Typowanie dynamiczne moe by bardzo wygodnym rozwizaniem przy szybkim tworzeniu programów, zwaszcza gdy typ manipulowanych obiektów niekoniecznie jest z góry znany lub gdy programista chce dla wygody umoliwi zmian typu zmiennej. Jest to równie konieczne do opracowania protokou meta-obiektu - lub MOP - gdzie statyczne typowanie jest zabronione ^{[ref. konieczne]} .

Przykady

Statyczne pisanie

Na przykad w C lub C ++ nastpujcy fragment programu:

int a;
a = 5; 
int b = a + 1;

definiuje zmienn oznaczon a typu integer ( int), a nastpnie przypisuje jej warto 5. Nastpnie definiowana jest zmienna b tego samego typu i jednoczenie inicjowana przez wynik wyraenia a + 1. C ++ jest jzykiem z typami statycznymi . We wspóczesnym C ++ (po C ++ 11 ) sowo kluczowe autopozwala nie deklarowa typu pewnych zmiennych. Kompilator musi nastpnie wywnioskowa typ zmiennej na podstawie analizy kontekstowej.

int a = 1;
auto b = a + 1;

Dynamiczne pisanie

W Common Lisp napiszemy:

 (let ((a 5)) ...)

Tutaj tworzenie zmiennej leksykalnej odbywa si bez okrelania jej typu. ^[niejasne] Typ danych nie jest powizany z symbolem, który oznacza zmienn, ale jest zakodowany w samych danych. Tak wic w ramach `` let '' moemy zapyta o typ zmiennej a (jest to aplikacja zwrotnoci ):

   (let ((a 5))
        (when (numberp a)
              (print "a est un nombre")) ...)

Ponadto podczas wykonywania a moe otrzyma obiekt innego typu, jeli program na to pozwala:

    (let ((a 5)
          (setf a "je suis une chaîne") ...)

Implikacje dynamicznego pisania

Ogromna elastyczno, jak umoliwia dynamiczne pisanie, jest generalnie opacana przez:

• nadmierne zuycie pamici odpowiadajce kodowaniu typu w locie w wartoci;
• strata czasu podczas testów programu, bdy spójnoci typu s wykrywane dopiero przy wykonaniu odnonej linii kodu, a nie zaraz po kompilacji;
• utrata wydajnoci z powodu dodatkowych poredników ; ten dodatkowy koszt czasu dziaania jest jednak równowaony wzrostem mocy obecnych komputerów i umoliwia szybki rozwój aplikacji  ;
• utrata utrzymywalnoci kodu, czytelnik kodu ródowego moe mie trudnoci ze zrozumieniem rodzaju zmiennych, a tym bardziej, e moe on zosta stworzony zgodnie ze zmiennoci tego typu.

Dla drogich operacji algorytmicznych, jzyków skryptowych takich jak Python , Tcl, lub Ruby moe wspópracowa z bibliotekami napisane w niskopoziomowym jzyku jak w jzyku C . Ponadto niektóre jzyki (zwaszcza Common Lisp ) pozwalaj na opcjonaln statyczn deklaracj typu, aby udowodni spójno typowania w czasie kompilacji i usun porednie.

Gdy funkcja odbiera dane niepoprawnego typu w czasie wykonywania (bd typu w czasie wykonywania), zgaszany jest wyjtek .

Przykady

• Pogawdka
• Common Lisp , Dylan , Scheme
• PHP , Perl , Tcl , Python , Ruby , Bash
• Erlang , Oz , Prolog
• Cel C
• JavaScript

Zobacz te

• Rachunek lambda
• Dynamiczny jzyk programowania