15 kontakty: Biblioteka standardowa języka C, Executable and Linkable Format, Inferencja typów, Język programowania, JIT (informatyka), Linux, Meta Language, Programowanie funkcyjne, Programowanie imperatywne, Programowanie obiektowe, Shebang, Standard ML, Unix, Wieloplatformowość, Wolne oprogramowanie.
Biblioteka standardowa języka C
Biblioteka standardowa języka C – biblioteka zawierająca podstawowe procedury języka C. Biblioteka ta jest częściąstandardu języka C, początkowo regulowanego normąANSI a obecnie normąISO.
Nowy!!: OCaml i Biblioteka standardowa języka C · Zobacz więcej »
Executable and Linkable Format
ELF, Executable and Linkable Format – format plików wykonywalnych, plików obiektowych, bibliotek współdzielonych oraz zrzutów pamięci, popularny na systemach uniksowych (używany m.in. w GNU/Linuksie, FreeBSD, BeOS, AmigaOS 4.0).
Nowy!!: OCaml i Executable and Linkable Format · 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!!: OCaml i Inferencja typów · Zobacz więcej »
Język programowania
Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.
Nowy!!: OCaml i Język programowania · Zobacz więcej »
JIT (informatyka)
JIT – metoda wykonywania programów komputerowych polegająca na ich kompilacji do kodu maszynowego bezpośrednio przed wykonaniem danego fragmentu kodu.
Nowy!!: OCaml i JIT (informatyka) · Zobacz więcej »
Linux
Linux – rodzina uniksopodobnych systemów operacyjnych opartych na jądrze Linux.
Nowy!!: OCaml i Linux · Zobacz więcej »
Meta Language
Meta Language, ML – rodzina funkcyjnych języków programowania, które charakteryzująsię statycznym, silnym typowaniem.
Nowy!!: OCaml i Meta Language · Zobacz więcej »
Programowanie funkcyjne
Programowanie funkcyjne – filozofia i metodyka programowania będąca odmianąprogramowania deklaratywnego, w której wykorzystuje się to, że funkcje należądo typów pierwszoklasowych.
Nowy!!: OCaml i Programowanie funkcyjne · Zobacz więcej »
Programowanie imperatywne
Programowanie imperatywne – paradygmat programowania, który opisuje proces wykonywania jako sekwencję instrukcji zmieniających stan programu.
Nowy!!: OCaml i Programowanie imperatywne · Zobacz więcej »
Programowanie obiektowe
Programowanie obiektowe (ang. object-oriented programming, OOP) – paradygmat programowania, w którym programy definiuje się za pomocąobiektów – elementów łączących stan (czyli dane, nazywane najczęściej atrybutami) i zachowanie (czyli procedury, tu: metody).
Nowy!!: OCaml i Programowanie obiektowe · Zobacz więcej »
Shebang
Sekwencja znaków Shebang Shebang – sekwencja znaków umieszczana na początku skryptu, a rozpoczynająca się kratkąi wykrzyknikiem.
Nowy!!: OCaml i Shebang · Zobacz więcej »
Standard ML
Standard ML (SML) – język programowania funkcyjnego powstały w 1990 roku jako pierwszy standard języka ML (ang. Meta Language).
Nowy!!: OCaml i Standard ML · Zobacz więcej »
Unix
Unix Time-Sharing System (pisane również jako UNIX, choć nie jest to skrótowiec – nazwa „UNIX” jest kalamburem określenia Multics, który był wzorem dla Uniksa) – system operacyjny rozwijany od 1969 r.
Nowy!!: OCaml i Unix · Zobacz więcej »
Wieloplatformowość
Wieloplatformowość – cecha aplikacji, języków programowania, systemów operacyjnych oraz innego oprogramowania i jego implementacji, pracujących na różnych platformach sprzętowych.
Nowy!!: OCaml i Wieloplatformowość · Zobacz więcej »
Wolne oprogramowanie
Wolne oprogramowanie – termin określający oprogramowanie, które może być uruchamiane, kopiowane, rozpowszechniane, analizowane oraz zmieniane i poprawiane przez użytkowników, oraz dające użytkownikom wolność do dzielenia się tym oprogramowaniem bez ograniczeń prawa autorskiego.
Nowy!!: OCaml i Wolne oprogramowanie · Zobacz więcej »
Przekierowuje tutaj:
Caml.