11 kontakty: Algorytm, Architektura zestawu instrukcji, C (język programowania), IEEE 754, Inferencja typów, Kompilator, System typów ML, Teoria typów, Typowanie słabe, Typowanie silne, Wyrażenie (informatyka).
Algorytm
Algorytm – skończony ciąg jasno zdefiniowanych czynności koniecznych do wykonania pewnego rodzaju zadań, sposób postępowania prowadzący do rozwiązania problemu.
Nowy!!: System typów i Algorytm · Zobacz więcej »
Architektura zestawu instrukcji
Architektura zestawu instrukcji procesora (ISA), model programowy procesora − ogólne określenie dotyczące organizacji, funkcjonalności i zasad działania procesora, widoczne z punktu widzenia programisty jako dostępne mechanizmy programowania.
Nowy!!: System typów i Architektura zestawu instrukcji · Zobacz więcej »
C (język programowania)
C – imperatywny, proceduralny język programowania ogólnego przeznaczenia, stworzony na początku lat 70.
Nowy!!: System typów i C (język programowania) · Zobacz więcej »
IEEE 754
IEEE 754 – standard reprezentacji binarnej i operacji na liczbach zmiennoprzecinkowych (IEEE floating-point standard), implementowany powszechnie w procesorach i oprogramowaniu obliczeniowym.
Nowy!!: System typów i IEEE 754 · 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!!: System typów i Inferencja typów · Zobacz więcej »
Kompilator
Schemat blokowy kompilatora wieloprzebiegowego Kompilator – program służący do automatycznego tłumaczenia kodu napisanego w jednym języku (języku źródłowym) na równoważny kod w innym języku (języku wynikowym)A.
Nowy!!: System typów i Kompilator · Zobacz więcej »
System typów ML
System typów ML – silny system typów stosowany w językach rodziny ML (Ocaml, Standard ML) oparty na inferencji.
Nowy!!: System typów i System typów ML · Zobacz więcej »
Teoria typów
Teoria typów – klasa systemów formalnych w informatyce teoretycznej i logice matematycznej, w których każdy termin ma typ, a operacje sąograniczone do terminów określonego typu.
Nowy!!: System typów i Teoria typów · Zobacz więcej »
Typowanie słabe
Typowanie słabe – system typów, w którym typ wyrażenia może być automatycznie zmieniony, jeśli kontekst tego wymaga.
Nowy!!: System typów i Typowanie słabe · Zobacz więcej »
Typowanie silne
Silna typizacja – system typów w języku programowania, w którym każde wyrażenie ma ustalony typ i nie można go używać w kontekście przeznaczonym dla innych typów.
Nowy!!: System typów i Typowanie silne · Zobacz więcej »
Wyrażenie (informatyka)
Wyrażenie – w językach programowania kombinacja wyrażeń stałych (literałów, stałych itp.), zmiennych, operatorów, funkcji i nawiasów, której przypisywana jest wartość zgodnie z regułami danego języka.
Nowy!!: System typów i Wyrażenie (informatyka) · Zobacz więcej »