Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Objective Caml


Related Topics

In the News (Thu 31 Dec 09)

  
  Objective Caml   (Site not responding. Last check: 2007-10-10)
Objective Caml is the most popular variant of the Caml language.
From a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference.
The Objective Caml system is open source software: the compiler is distributed under the terms of the Q Public License, and its library is under LGPL; please read the license document for more details.
caml.inria.fr /ocaml   (171 words)

  
 OCAML - TunesWiki
Objective Caml owes a lot to the original core ML language and to our first Caml implementation (1985-1990).
The Objective Caml implementation comes with general purpose libraries (arbitrary precision arithmetics, multi-threading, a toolkit for graphical user interfaces, etc.) and a Unix-style programming environment including a replay debugger and a time profiler.
Objective Caml programs can easily be interfaced with other languages, in particular with other C programs or libraries.
tunes.org /wiki/OCAML   (482 words)

  
 OcamlLanguage - The Fellowship of Hobbyist Programmers
Objective Caml belongs to the ML family of programming languages (see MlLanguage) and has been implemented at INRIA Rocquencourt within the "Cristal project" group.
The language was renamed Objective Caml after the incorporation of a sophisticated module system and an object-oriented layer.
Since Objective Caml is a high-level general purpose programming language, it has a very wide range of applications, except where low-level programming is needed.
www.hprog.org /fhp/OcamlLanguage   (650 words)

  
 The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind.
The Objective Caml system is the main implementation of the Caml language.
The Caml Light system is a lightweight, portable implementation of the core Caml language.
caml.inria.fr   (190 words)

  
 Objective Caml - a General Purpose High-level Programming Language   (Site not responding. Last check: 2007-10-10)
Objective Caml is a general purpose programming language that combines functional, imperative, and object-oriented programming.
Objective Caml belongs to the ML family of programming languages and has been implemented at INRIA Rocquencourt within the Cristal research team.
The Caml language is widely used for teaching in France at both undergraduate and graduate levels.
www.ercim.org /publication/Ercim_News/enw36/leroy.html   (540 words)

  
 Notes on OCaml
Caml is a dialect of ML, developed primarily in France.
This paper describes Objective Caml version 3.01, or OCaml (pronounced "oh-camel") for short; it does not go into the object-oriented features of OCaml, however.
Another dialect, Caml Lite 0.74, has almost identical syntax, but the modules and many of the functions in the modules differ to a greater or lesser extent.
www.csc.villanova.edu /~dmatusze/resources/ocaml/ocaml.html   (3685 words)

  
 Objective Caml - Wikipedia, the free encyclopedia
Objective Caml (OCaml) is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
OCaml extends the core Caml language with object-oriented constructs.
The Objective Caml system by Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon).
en.wikipedia.org /wiki/Ocaml   (1572 words)

  
 [No title]
In Objective Caml, compilation units are special cases of structures and signatures, and the relationship between the units can be explained easily in terms of the module system.
Part II The Objective Caml language 42 Chapter 4 The Objective Caml language Foreword This document is intended as a reference manual for the Objective Caml language.
The Objective Caml language 61 In a class definition, coercion to the type this class defines is the identity, as this type abbreviation is not yet completely defined.
www.math.utah.edu /u/ma/hohn/linux/caml/ocaml_ref1.txt   (13477 words)

  
 Caml Information   (Site not responding. Last check: 2007-10-10)
The PL Caml Lecture Notes (this topic is not covered in the book).
The Examples of Caml that were run in class.
Caml is free and you should install it on your computer.
www.cs.jhu.edu /~scott/pl/caml   (373 words)

  
 Preprocessing Objective Caml   (Site not responding. Last check: 2007-10-10)
The parsing would be done twice: one of the user input file by Camlp4, which pretty prints an intermediate file (which takes some time), and one of the result of Camlp4 by the Objective Caml parser.
In case of typing errors, Objective Caml would show the error location in the resulting file of Camlp4, what is not convenient.
The printing results are done by the Objective Caml toplevel in standard Objective Caml syntax.
carpanta.dc.fi.udc.es /docs/camlp4/node5.html   (381 words)

  
 Objective Caml Plugin for Xcode
The Objective Caml system is an industrial-strength implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well as a bytecode compiler (ocamlc) and an interactive read-eval-print loop (ocaml) for quick development and portability.
The Objective Caml distribution includes a comprehensive standard library, a replay debugger (ocamldebug), lexer (ocamllex) and parser (ocamlyacc) generators, a pre-processor pretty-printer (camlp4) and a documentation generator (ocamldoc).
Objective Caml development tools 3.08.3 or later (available here).
maxao.free.fr /xcode-ocaml-plugin   (426 words)

  
 OS Reviews - Objective Caml: Advanced Functional Programming
Objective Caml is a programming language that is derived from pre-Standard ML.
The Caml syntax is typical for the ML languages and therefore highly counterintuitive if you've only seen something like C, Lisp or Python before.
Objective Caml has a safe core, in which most applications can be developed.
www.osreviews.net /reviews/devel/ocaml   (780 words)

  
 IT Services: Objective Caml 3.09.2
Objective Caml is an implementation of the Caml dialect of ML extended with class-based objects and a powerful module system in the style of SML's.
It continues the Caml Light effort in many ways (separate compilation, low memory requirements, fast turnaround through bytecode interpretation), but also significantly departs from Caml Light on other points (objects, the module calculus, and a high-performance native-code compiler).
Objective Caml continues an earlier implementation of Caml plus modules, known as Caml Special Light.
www.stanford.edu /services/pubsw/package/languages/ocaml.html   (182 words)

  
 The OCaml Language
Objective Caml is a fast modern type-inferring functional programming language descended from the ML (Meta Language) family.
Objective Caml ranks 2nd on speed (between C and C++) on Doug Bagley's computer language shootout.
A set of new Caml examples are now available (ranging from simple examples for beginners to complex examples for specialists).
iq.org /~ocaml   (137 words)

  
 Objective Caml
Objective Caml is an implementation of the Caml dialect of the MlLanguage.
Objective Caml's syntax is cleaner than C++ and more expressive.
I am also aware that monads are not required at all and that Objective Caml is more of a hybrid language; it is not a pure functional language so the argument is not really appropriate.
c2.com /cgi/wiki?ObjectiveCaml   (2813 words)

  
 Interfacing the Join-Calculus with Objective Caml
Objective Caml types and values that can be used inside join-calculus programs are called externals.
To be seen as externals by the compiler, types and values from Objective Caml must appear in the interface of a join-calculus module.
Some bytecode instructions are provided to access these externals, and are designated by their offset in a table of Objective Caml values (the table of externals).
carpanta.dc.fi.udc.es /docs/jc-1.03/node7.html   (1856 words)

  
 Hanoi: Objective Caml
The Towers of Hanoi as an Objective Caml program.
Objective Caml is the latest implementation of the Caml dialect of ML.
A high-performance native code compiler (in addition to a Caml Light-style bytecode compiler).
www.kernelthread.com /hanoi/html/ocaml.html   (103 words)

  
 Objective CAML for Scientists
Objective CAML (OCaml) is a modern programming language with a highly-efficient, open-source implementation available for all of the major operating systems and architectures.
The CAML Humps is a repository of libraries, applications and source code.
The Objective Caml Link Database is a list of programs written in OCaml.
www.ffconsultancy.com /products/ocaml_for_scientists   (496 words)

  
 LablGTK   (Site not responding. Last check: 2007-10-10)
It uses the rich type system of Objective Caml 3 to provide a strongly typed, yet very comfortable, object-oriented interface to gtk+.
Objective Caml threads are supported, including for the toplevel, which allows for interactive use of the library.
Can be used with the Objective Caml 3.08 or 3.09 distribution (msvc or mingw), without any extra tools.
wwwfun.kurims.kyoto-u.ac.jp /soft/olabl/lablgtk.html   (428 words)

  
 Comp.compilers: Objective Caml 1.00
Objective Caml is an object-oriented extension of the Caml dialect of
Objective Caml is based on (and supersedes) the Caml Special Light
Objective Caml is available for Unix (source) and Windows NT/95 (binaries).
compilers.iecc.com /comparch/article/96-05-079   (172 words)

  
 Interfacing C with Objective Caml
When the primitive function is applied in a Caml Light program, the C function is called with the values of the expressions to which the primitive is applied as arguments.
Implementing a user primitive is actually two separate tasks: on the one hand, decoding the arguments to extract C values from the given Caml Light values, and encoding the return value as a Caml Light value; on the other hand, actually computing the result from the arguments.
That is, if a Caml function f calls a C function g that calls back a Caml function h that raises a stray exception, then the execution of g is interrupted and the exception is propagated back into f.
ceu.fi.udc.es /docs/man-ocaml-1.02/node14.html   (2803 words)

  
 Objective Caml - Coder : Langage - Logiciels Libres - Framasoft
Objective Caml - Coder : Langage - Logiciels Libres - Framasoft
Objective Caml (ou Ocaml) est un langage fonctionnel très puissant dérivé du Caml, langage enseigné dans de nombreuses écoles et universités françaises et étrangères, et qui intéresse les labos de recherche, et de plus en plus le milieu industriel.
Objective Caml permet de faire des programmes qui ne plantent que très rarement, grâce au typage statique.
www.framasoft.net /article2307.html   (641 words)

  
 PLNews: Programming Language News   (Site not responding. Last check: 2007-10-10)
F# is a variant of ML running on.NET, sharing a core language with Objective Caml.
The September 19 to 26, 2006 edition of the Caml Weekly News is now available.
Objective Caml 3.09.3 RC1 is now available from CVS.
tacojuice.org /plnews/Languages/ObjectiveCaml   (673 words)

  
 Interfacing C with Objective Caml
When the primitive function is applied in a Caml program, the C function is called with the values of the expressions to which the primitive is applied as arguments.
Implementing a user primitive is actually two separate tasks: on the one hand, decoding the arguments to extract C values from the given Caml values, and encoding the return value as a Caml value; on the other hand, actually computing the result from the arguments.
For this purpose, Objective Caml provides a simple registration mechanism, by which Caml code can register Caml functions under some global name, and then C code can retrieve the corresponding closure by this global name.
ceu.fi.udc.es /docs/man-ocaml-1.05/node15.html   (3797 words)

  
 [No title]   (Site not responding. Last check: 2007-10-10)
caml-mode) auto-mode-alist)) (autoload 'caml-mode "caml" "Major mode for editing Caml code." t) (autoload 'run-caml "inf-caml" "Run an inferior Caml process." t) I added camldebug.el from the original distribution, since there will soon be a debugger for Objective Caml, but I do not know enough about it.
However, indentation rules are still Objective Caml's: this just happens to work well in most cases, but is only intended for occasional use.
Some remarks about the style supported: -------------------------------------- Since Objective Caml's syntax is very liberal (more than 100 shift-reduce conflicts with yacc), automatic indentation is far from easy.
www.cl.cam.ac.uk /~pes20/hashcaml/hashcaml-current/emacs/README   (746 words)

  
 Info Node: (ocaml)Top
The Objective Caml system release 3.08 Documentation and user's manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon) July 13, 2004 Copyright © Institut National de Recherche en Informatique et en Automatique --------------------------------------------------------------- This manual is also available in PDF (1Note: Notes 0).
The Objective Caml system is open source and can be freely redistributed.
The Objective Caml documentation and user's manual may be reproduced and distributed in whole or in part, subject to the following conditions: - The copyright notice above and this permission notice must be preserved complete on all complete or partial copies.
olympus.het.brown.edu /cgi-bin/info2www?(ocaml)   (458 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.