JoCaml

JoCaml
JoCaml
Тип

Язык программирования
Разработчик

INRIA
Операционная система

кроссплатформенный
Последняя версия

3.11 (Декабрь, 2008)
Лицензия

LGPL
Сайт

http://jocaml.inria.fr/

JoCaml — экспериментальный функциональный язык программирования, произошедший от OCaml. Язык сочетает в себе примитивы join-calculus для большей гибкости, соревнующееся и распределённое программирование с проверкой типов.

См. также

  • Join-calculus

Дополнительные источники


SQL

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "JoCaml" в других словарях:

  • JoCaml — Infobox Software name = JoCaml caption = developer = INRIA latest release version = 3.10 latest release date = June, 2007 operating system = Cross platform genre = Programming language license = LGPL website = [http://jocaml.inria.fr/… …   Wikipedia

  • Objective Caml — Infobox programming language name = Objective Caml paradigm = multi paradigm: imperative, functional, object oriented developer = INRIA latest release version = 3.10.2 latest release date = Release date and age|2008|02|29 operating system = Cross …   Wikipedia

  • OCaml — Objective Caml Apparu en 1987 (CAML), 1996 (OCaml) Développeur INRIA Dernière version stable …   Wikipédia en Français

  • Objective Caml — Apparu en 1987 (CAML), 1996 (OCaml) Développeur INRIA Dernière version stable 3.11.1 (le 12  …   Wikipédia en Français

  • Ocaml — Objective Caml Apparu en 1987 (CAML), 1996 (OCaml) Développeur INRIA Dernière version stable 3.11.1 (le 12  …   Wikipédia en Français

  • O’Caml — Objective Caml Apparu en 1987 (CAML), 1996 (OCaml) Développeur INRIA Dernière version stable 3.11.1 (le 12  …   Wikipédia en Français

  • Pi-calcul — Le Pi calcul (ou π calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l informatique parallèle et distribuée un rôle similaire à celui du λ calcul dans l informatique classique.… …   Wikipédia en Français

  • OCaml — Paradigm(s) multi paradigm: imperative, functional, object oriented Appeared in 1996 Developer INRIA Stable release 3.12.1 (July 4, 2011; 4 months ago ( …   Wikipedia

  • Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the …   Wikipedia

  • Semantics encoding — A semantics encoding is a translation between formal languages. For programmers, the most familiar form of encoding is the compilation of a programming language into machine code or byte code. Conversion between document formats are also forms of …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»