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

Typowanie statyczne

Indeks Typowanie statyczne

Typowanie statyczne – nadawanie typów zmiennym w czasie kompilacji programu, poprzez deklaracje tych typów lub ich inferencje.

47 kontakty: Ada (język programowania), AmigaE, Boo, C (język programowania), C++, C++/CLI, Ceylon (język programowania), CHILL, COBOL, Common Lisp, Crystal (język programowania), D (język programowania), Dart (język programowania), Duck typing, Eiffel (język programowania), F Sharp, Fortran, Go (język programowania), Groovy, Haskell, Haxe, Inferencja typów, Kotlin (język programowania), Merkury (język programowania), Oberon (język programowania), Objective-C, Perl, PL/SQL, PowerBASIC, Processing, Programowanie uogólnione, Q Sharp, RPython, Sather, Simula, SQL, Transact-SQL, Typ danych, TypeScript, Typowanie dynamiczne, UnrealScript, Vala (język programowania), Visual Basic, WebAssembly, Wirtualna maszyna Javy, XQuery, Zmienna (informatyka).

Ada (język programowania)

Ada – 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 »

AmigaE

Amiga E (określana również jako E) to język programowania stworzony przez Woutera van Oortmerssena na platformę Amiga w 1993 roku.

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

Boo

Boo – wieloparadygmatowy język programowania o statycznie definiowanych typach.

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

C (język programowania)

C – imperatywny, proceduralny język programowania ogólnego przeznaczenia, stworzony na początku lat 70.

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

C++

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

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

C++/CLI

C++/CLI (Common Language Infrastructure) to język programowania oparty na C++, stworzony przez Microsoft w celu zastąpienia Managed Extensions for C++.

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

Ceylon (język programowania)

Ceylon – projekt języka programowania oraz SDK dla niego tworzony przez firmę Red Hat.

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

CHILL

CHILL - skrót od CCITT High Level Programming Language.

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

COBOL

COBOL (akronim od ang. common business-oriented language) – wysokopoziomowy język programowania stworzony i używany do tworzenia aplikacji biznesowych.

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

Common Lisp

Common Lisp (często skracane do CL) – dialekt języka programowania Lisp, stworzony przez ANSI (X3.226-1994) jako specyfikacja, nie implementacja.

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

Crystal (język programowania)

Crystal – obiektowy, statycznie typowany, kompilowany język programowania ogólnego przeznaczenia.

Nowy!!: Typowanie statyczne i Crystal (język programowania) · 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 »

Dart (język programowania)

Dart – obiektowy język programowania ogólnego przeznaczenia, implementowany m.in.

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

Duck typing

Duck typing – rozpoznawanie typu obiektu nie na podstawie deklaracji, ale przez badanie metod udostępnionych przez obiekt.

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

Eiffel (język programowania)

Eiffel – statycznie typowany, obiektowy język programowania opisywany w książkach Bertranda Meyera m.in.

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

F Sharp

F# – wieloparadygmatowy język programowania zawierający w sobie głównie cechy języka funkcyjnego, ale umożliwiającym także pisanie kodu imperatywnego oraz obiektowego.

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

Fortran

Fortran (od wersji 90 do aktualnej) a dawniej FORTRAN (do wersji 77 włącznie) (od ang. formula translation) – język programowania pierwotnie zaprojektowany do zapisu programów obliczeniowych, był niegdyś językiem proceduralnym, obecnie jest nadal rozwijanym językiem ogólnego przeznaczenia.

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

Go (język programowania)

język.

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

Groovy

Groovy – obiektowy język skryptowy wzorowany na składni Javy, wzbogacony o dodatkowe cechy takie jak.

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

Haskell

Haskell – czysto funkcyjny język programowania nazwany na cześć amerykańskiego matematyka, Haskella Curry’ego.

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

Haxe

Haxe – wieloplatformowy język programowania open source, przeznaczony do tworzenia aplikacji natywnych oraz interaktywnych aplikacji webowych.

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

Inferencja typów

Inferencja typów – mechanizm w językach statycznie typowanych, w którym kompilator określa typ danych na podstawie informacji dostępnych w czasie kompilacji, np.

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

Kotlin (język programowania)

Kotlin – statycznie typowany język programowania działający na maszynie wirtualnej Javy, który jest głównie rozwijany przez programistów JetBrains.

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

Merkury (język programowania)

Mercury – funkcyjny, logiczny język programowania skierowany w stronę tworzenia oprogramowania codziennego użytku.

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

Oberon (język programowania)

Oberon - język programowania opracowany przez Niklausa Wirtha w roku 1985.

Nowy!!: Typowanie statyczne i Oberon (język programowania) · 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 »

Perl

symbol FOSDEM 2013 Perl – interpretowany, dynamiczny język programowania wysokiego poziomu autorstwa Larry’ego Walla początkowo przeznaczony głównie do pracy z danymi tekstowymi, obecnie używany do wielu innych zastosowań.

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

PL/SQL

PL/SQL oznacza proceduralny SQL - rozszerzenie języka SQL umożliwiające tworzenie konstrukcji takich jak pętle, instrukcje warunkowe oraz zmienne.

Nowy!!: Typowanie statyczne i PL/SQL · Zobacz więcej »

PowerBASIC

PowerBASIC – język programowania i kompilator produkowany przez firmę PowerBASIC Inc.

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

Processing

Zintegrowane środowisko programistyczne języka Processing Processing – język programowania oraz zintegrowane środowisko programistyczne (IDE) stworzone na potrzeby sztuki elektronicznej (wizualnej, interaktywnej, dźwiękowej) oraz projektowania graficznego.

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

Programowanie uogólnione

Programowanie uogólnione (rodzajowe, generyczne, z) – jeden z paradygmatów programowania.

Nowy!!: Typowanie statyczne i Programowanie uogólnione · Zobacz więcej »

Q Sharp

Q# (Q Sharp) – język programowania z funkcjami specjalnie zaprojektowanymi do użycia w obliczeniach kwantowych.

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

RPython

RPython (Restricted Python) – język programowania będący statycznie typowanym podzbiorem języka Python.

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

Sather

Sather – obiektowo zorientowany język programowania.

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

Simula

Simula – dwa języki programowania, Simula I oraz Simula 67, opracowane w latach 60.

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

SQL

SQL (ang. Structured Query Language wym. /ɛskjuːˈɛl/) – strukturalny oraz deklaratywny język zapytań.

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

Transact-SQL

Transact-SQL, T-SQL oznacza transakcyjny SQL, czyli rozszerzenie języka SQL umożliwiające tworzenie konstrukcji takich jak pętle, instrukcje warunkowe oraz zmienne.

Nowy!!: Typowanie statyczne i Transact-SQL · 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 »

TypeScript

TypeScript – wolny i otwartoźródłowy język programowania stworzony przez firmę Microsoft jako nadzbiór języka JavaScript.

Nowy!!: Typowanie statyczne i TypeScript · 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 »

UnrealScript

UnrealScript - język skryptowy powstały dla silnika gry Unreal Engine.

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

Vala (język programowania)

Vala – język programowania stworzony na potrzeby programistów pracujących w środowisku GNOME.

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

Visual Basic

Visual Basic – język programowania wysokiego poziomu i narzędzie programowania firmy Microsoft.

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

WebAssembly

WebAssembly, w skrócie Wasm – otwarty standard przenośnego zapisu binarnego, oraz reprezentacji tekstowej (–) w formie S-wyrażeń.

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

Wirtualna maszyna Javy

Javie lub Pythonie jest kompilowany do postaci kodu bajtowego, który następnie może być wykonany przez maszynę wirtualnąna różnych urządzeniach. Maszyna wirtualna jest odpowiedzialna za ukrycie różnic między poszczególnymi platformami tak, że teoretycznie ten sam program można uruchomić w każdym miejscu. Wirtualna maszyna Javy (ang. Java Virtual Machine, JVM) – maszyna wirtualna oraz środowisko zdolne do wykonywania kodu bajtowego Javy.

Nowy!!: Typowanie statyczne i Wirtualna maszyna Javy · Zobacz więcej »

XQuery

XQuery – język zapytań (jednakże posiadający pewne cechy języka programowania) służący do przeszukiwania dokumentów XML.

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

Zmienna (informatyka)

Zmienna – konstrukcja programistyczna posiadająca trzy podstawowe atrybuty: symbolicznąnazwę, miejsce przechowywania i wartość.

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

Przekierowuje tutaj:

Statyczna typizacja.

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