Caml Light - определение. Что такое Caml Light
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Caml Light - определение

DIALECT OF THE ML PROGRAMMING LANGUAGE FAMILY
Caml Light; Categorical Abstract Machine Language; Catagorical Abstract Machine; CaML
Найдено результатов: 3104
Caml Light         
A small portable implementation of a version of CAML by Xavier Leroy <Xavier.Leroy@inria.fr> and Damien Doligez of INRIA. Caml Light uses a bytecode interpreter written in C. It adds a Modula-2-like module system, {separate compilation}, lazy streams for parsing and printing, graphics primitives and an interface with C. Version 0.6 runs on Unix, MS-DOS, Macintosh, Atari ST and Amiga. It includes an interpreter, compiler, Emacs mode, libraries, scanner generator, {parser generator}, run-time support and an interactive development environment. The latest version, as of April 2003, is 0.75 and runs on Unix, Macintosh and Windows. The development of Caml Light has been stopped; current development is on Objective Caml. caml-light-eng.html">http://caml.inria.fr/distrib-caml-light-eng.html. caml-light/">ftp://ftp.inria.fr/lang/caml-light/. E-mail: <caml@inria.fr>. Mailing list: <caml-list@inria.fr>. Usenet newsgroup: news:comp.lang.ml. (2003-04-12)
Categorical Abstract Machine Language         
<language> (Originally "CAML" - Categorical Abstract Machine Language) A version of ML by G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny and others of INRIA and ENS. CAML is intermediate between LCF ML and SML [in what sense?]. It has first-class functions, {static type inference} with polymorphic types, user-defined {variant types} and product types, and pattern matching. It is built on a proprietary run-time system. The CAML V3.1 implementation added lazy and mutable data structures, a "grammar" mechanism for interfacing with the Yacc parser generator, pretty-printing tools, high-performance arbitrary-precision arithmetic, and a complete library. CAML V3 is often nicknamed "heavy CAML", because of its heavy memory and CPU requirements compared to Caml Light. in 1990 Xavier Leroy and Damien Doligez designed a new implementation called Caml Light, freeing the previous implementation from too many experimental high-level features, and more importantly, from the old Le_Lisp back-end. Following the addition of a native-code compiler and a powerful module system in 1995 and of the object and class layer in 1996, the project's name was changed to Objective Caml. ["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS, 1989]. (2003-04-12)
CAML         
<language> 1. A language for preparation of animated movies. 1976. (1994-11-09) 2. Categorical Abstract Machine Language. (2000-07-06)
Tabor Light         
  • Transfiguration]] ([[Theophanes the Greek]], ca. 1408).
  • The Transfiguration]]'' (1520) by Raphael, depicting Christ miraculously discoursing with [[Moses]] and [[Elijah]].
THE LIGHT REVEALED ON MOUNT TABOR AT THE TRANSFIGURATION, IDENTIFIED WITH THE LIGHT SEEN BY PAUL AT HIS CONVERSION, REGARDED BY EASTERN ORTHODOXY AS UNCREATED AND ETERNAL
Tabor light; Tabor's light; Tabor's Light; Uncreated Light; Taboric Light; Light of Tabor; Uncreated light; Uncreated Energies of God
In Eastern Orthodox Christian theology, the Tabor Light ( "Light of Tabor", or "Uncreated Light", "Divine Light"; "Taboric Light"; Georgian: თაბორის ნათება) is the light revealed on Mount Tabor at the Transfiguration of Jesus, identified with the light seen by Paul at his conversion.
Inward light         
  • preaches]] at a [[meeting for worship]]
  • Quaker belief in the Inner Light extends back to founder [[George Fox]]<ref name=Mink2004/>
  • Clément-Pierre Marillier]]
METAPHOR USED BY THE RELIGIOUS SOCIETY OF FRIENDS (QUAKERS) FOR CHRIST'S LIGHT SHINING ON OR IN THEM
Inner Light; Spirit of Christ; Inward Light; The Light Within; Light Within; Inner light
The inward light, Light of God, Light of Christ, Christ within, That of God, Spirit of God within us, Light within, and inner light are related phrases commonly used within the Religious Society of Friends (Quakers) as metaphors for Christ's light shining on or in them. It was propagated by the founder of the Quaker movement, George Fox, who "preached faith in and reliance on 'inward light' (the presence of Christ in the heart)".
Light (journal)         
ONLINE LITERARY MAGAZINE
Light Quarterly; Light: A Quarterly of Light Verse
Light (formerly Light: A Quarterly of Light Verse) is an online journal which bills itself as "America's oldest and best-known journal of light verse."
Hard and soft light         
  • Hard light in a photograph of [[Nina Sublatti]] performing at the [[Eurovision Song Contest]].
  • 221x221px
TYPES OF LIGHTING IN PHOTOGRAPHY AND FILMMAKING
Soft lights; Soft Light; Soft light; Hard light (photography)
Hard and soft light are different types of lighting that are commonly used in photography and filmmaking. Soft light is light that tends to "wrap" around objects, projecting diffused shadows with soft edges, whereas hard light is more focused and produces harsher shadows.
Light + Building         
  • Light installation at [[Frankfurt]] luminale during Light + Building
BIENNIAL ARCHITECTURE AND TECHNOLOGY TRADE FAIR
Light+Building; Light+building
Light + Building is a biennial architectural design and technology trade fair mainly focused on the fields of lighting, electrical engineering, building automation, and civil-engineering software. It is held at the Messe Frankfurt in Frankfurt am Main, Germany, and combined with the Luminale lighting design and art festival with installations and performances in and around the city.
Light poetry         
POETRY THAT ATTEMPTS TO BE HUMOROUS
Light Poetry; Light verse; Light Verse
Light poetry or light verse is poetry that attempts to be humorous. Light poems are usually brief, can be on a frivolous or serious subject, and often feature word play including puns, adventurous rhyme, and heavy alliteration.
light year         
UNIT OF LENGTH USED TO EXPRESS ASTRONOMICAL DISTANCES, DEFINED AS THE DISTANCE THAT LIGHT TRAVELS IN A VACUUM IN ONE YEAR
Light-years; Light-Year; Light years; Lightyears; Light-month; Light Year; Light month; Mly; Light year; Lightyear; Gigalight-year; Megalight-year; Kilolight-year
(light years)
1.
A light year is the distance that light travels in a year.
...a star system millions of light years away.
N-COUNT
2.
You can say that two things are light years apart to emphasize a very great difference or a very long distance or period of time between them. (INFORMAL)
She says the French education system is light years ahead of the English one...
N-COUNT: usu pl, N prep/adv [emphasis]

Википедия

Caml

Caml (originally an acronym for Categorical Abstract Machine Language) is a multi-paradigm, general-purpose programming language which is a dialect of the ML programming language family. Caml was developed in France at INRIA and ENS.

Caml is statically typed, strictly evaluated, and uses automatic memory management. OCaml, the main descendant of Caml, adds many features to the language, including an object layer.