11 kontakty: Computer Language Shootout, Ed2k, GNU Multiple Precision Arithmetic Library, Haxe, Inferencja typów, Konkatenacja, Meta Language, Ocamlyacc, Programowanie wieloparadygmatowe, System typów ML, Yacc.
Computer Language Shootout
The Great Computer Language Shootout – projekt napisania zestawu 25 prostych benchmarków w kilkudziesięciu językach programowania mających implementacje Open Source.
Nowy!!: Ocaml i Computer Language Shootout · Zobacz więcej »
Ed2k
ed2k – protokół sieciowy typu P2P.
Nowy!!: Ocaml i Ed2k · Zobacz więcej »
GNU Multiple Precision Arithmetic Library
GNU Multiple Precision Arithmetic Library (lub GMP) – biblioteka programistyczna udostępniająca liczby całkowite ze znakiem, wymierne i zmiennoprzecinkowe o dowolnej precyzji.
Nowy!!: Ocaml i GNU Multiple Precision Arithmetic Library · Zobacz więcej »
Haxe
Haxe – wieloplatformowy język programowania open source, przeznaczony do tworzenia aplikacji natywnych oraz interaktywnych aplikacji webowych.
Nowy!!: Ocaml 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!!: Ocaml i Inferencja typów · Zobacz więcej »
Konkatenacja
Konkatenacja (łac. concatenatio) – łączenie ze sobąwyrażeń.
Nowy!!: Ocaml i Konkatenacja · 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 »
Ocamlyacc
Ocamlyacc – generator parserów dla języka Ocaml, wzorowany na programach typu yacc dla C. Operowanie na drzewach składniowych w Ocamlu jest o wiele łatwiejsze niż w C. Połączenie tych dwóch cech - generatora parserów i języka z dobrymi możliwościami przekształceń symbolicznych, czyni z Ocamla jeden z najwygodniejszych w użyciu języków pisania parserów.
Nowy!!: Ocaml i Ocamlyacc · Zobacz więcej »
Programowanie wieloparadygmatowe
Programowanie wieloparadygmatowe – paradygmat programowania, a w szczególności tworzenia języków programowania, który mówi, że każdy paradygmat nadaje się do ograniczonego zbioru zadań; lepiej jest więc przyzwoicie zaimplementować kilka różnych paradygmatów i dowolnie je mieszać w użyciu, niż zaimplementować tylko jeden (choć lepiej niż robiłby to język wieloparadygmatowy), i próbować go narzucać.
Nowy!!: Ocaml i Programowanie wieloparadygmatowe · 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!!: Ocaml i System typów ML · Zobacz więcej »
Yacc
YACC – standardowy program w systemach uniksowych służący do generowania analizatorów składniowych (parserów).
Nowy!!: Ocaml i Yacc · Zobacz więcej »