Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Zainstaluj
Szybszy dostęp niż przeglądarce!
 

Typowanie statyczne

Indeks Typowanie statyczne

Typowanie statyczne – nadawanie typów zmiennym w czasie kompilacji programu.

18 kontakty: Ada (język programowania), C (język programowania), C Sharp, C++, D (język programowania), Go (język programowania), Haskell, Inferencja typów, Java, Objective-C, Pascal (język programowania), Polimorfizm (informatyka), Rust (język programowania), Scala (język programowania), Swift (język programowania LLVM), Typ danych, Typowanie dynamiczne, Zmienna (informatyka).

Ada (język programowania)

Ada to strukturalny, kompilowany, imperatywny, statycznie typowany i obiektowy język programowania opracowany przez Jean Ichbiaha i zespół z CII Honeywell Bull w latach 70.

Nowy!!: Typowanie statyczne i Ada (język programowania) · Zobacz więcej »

C (język programowania)

C – imperatywny, strukturalny język programowania wysokiego poziomu stworzony na początku lat siedemdziesiątych XX w. przez Dennisa Ritchiego do programowania systemów operacyjnych i innych zadań niskiego poziomu.

Nowy!!: Typowanie statyczne i C (język programowania) · Zobacz więcej »

C Sharp

C# (C Sharp, dosłownie „cis”, „c z krzyżykiem”) – obiektowy język programowania zaprojektowany w latach 1998-2001 przez zespół pod kierunkiem Andersa Hejlsberga dla firmy Microsoft.

Nowy!!: Typowanie statyczne i C Sharp · Zobacz więcej »

C++

C++ – język programowania ogólnego przeznaczenia.

Nowy!!: Typowanie statyczne i C++ · Zobacz więcej »

D (język programowania)

Język D – wieloparadygmatowy język programowania umożliwiający programowanie obiektowe, imperatywne oraz metaprogramowanie.

Nowy!!: Typowanie statyczne i D (język programowania) · Zobacz więcej »

Go (język programowania)

Go (często nazywany także golang) – język programowania opracowany przez pracowników Google: Roberta Griesemera, Roba Pike'a oraz Kena Thompsona.

Nowy!!: Typowanie statyczne i Go (język programowania) · Zobacz więcej »

Haskell

Haskell – czysto funkcyjny język programowania nazwany na cześć Haskella Curry'ego.

Nowy!!: Typowanie statyczne i Haskell · Zobacz więcej »

Inferencja typów

Inferencja typów to technika używana w językach statycznie typizowanych, która zwalnia programistę z obowiązku pisania typów i przerzuca obowiązek identyfikacji typów na kompilator.

Nowy!!: Typowanie statyczne i Inferencja typów · Zobacz więcej »

Java

Java (wym. dżawa) – współbieżny, oparty na klasach, obiektowy język programowania ogólnego zastosowania.

Nowy!!: Typowanie statyczne i Java · Zobacz więcej »

Objective-C

Objective-C – rozszerzenie języka C o możliwości obiektowe, wzorowane na Smalltalku.

Nowy!!: Typowanie statyczne i Objective-C · Zobacz więcej »

Pascal (język programowania)

Pascal – język programowania wysokiego poziomu opracowany przez Niklausa Wirtha w 1970 roku.

Nowy!!: Typowanie statyczne i Pascal (język programowania) · Zobacz więcej »

Polimorfizm (informatyka)

Polimorfizm (z gr. wielopostaciowość) - mechanizmy pozwalające programiście używać wartości, zmiennych i podprogramów na kilka różnych sposobów.

Nowy!!: Typowanie statyczne i Polimorfizm (informatyka) · Zobacz więcej »

Rust (język programowania)

Rust – kompilowalny język programowania ogólnego przeznaczenia rozwijany obecnie przez Fundację Mozilla.

Nowy!!: Typowanie statyczne i Rust (język programowania) · Zobacz więcej »

Scala (język programowania)

Scala − język programowania łączący cechy języków funkcyjnych i obiektowych.

Nowy!!: Typowanie statyczne i Scala (język programowania) · Zobacz więcej »

Swift (język programowania LLVM)

Swift – język programowania komputerów zaproponowany przez Apple Inc. podczas Worldwide Developers Conference 2 czerwca 2014.

Nowy!!: Typowanie statyczne i Swift (język programowania LLVM) · Zobacz więcej »

Typ danych

Typ – opis rodzaju, struktury i zakresu wartości, jakie może przyjmować dany literał, zmienna, stała, argument, wynik funkcji lub wartość.

Nowy!!: Typowanie statyczne i Typ danych · Zobacz więcej »

Typowanie dynamiczne

Typowanie dynamiczne to przypisywanie typów do wartości przechowywanych w zmiennych w trakcie działania programu.

Nowy!!: Typowanie statyczne i Typowanie dynamiczne · Zobacz więcej »

Zmienna (informatyka)

Zmienna - konstrukcja programistyczna posiadająca trzy podstawowe atrybuty: symboliczną nazwę, miejsce przechowywania i wartość; pozwalająca w kodzie źródłowym odwoływać się przy pomocy nazwy do wartości lub miejsca przechowywania.

Nowy!!: Typowanie statyczne i Zmienna (informatyka) · Zobacz więcej »

Przekierowuje tutaj:

Statyczna typizacja.

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »