submit urlsubmit rss feedadd directory

article

Objective Caml (OCaml) is a general-purpose programming language descended from the ML family, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996. OCaml is an open source project managed and principally maintained by INRIA.

OCaml shares the functional and imperative programming features of ML, but adds object-oriented constructs and has minor syntax differences. Like all descendants of ML, OCaml is compiled, statically typed, strictly evaluated, and uses automatic memory management.

OCaml's toolset includes an interactive toplevel, a bytecode compiler, and an optimizing native code compiler. It has a large standard library that makes it useful for many of the same applications as Python or Perl, as well as robust modular and object-oriented programming constructs that make it applicable for large-scale software engineering.

More on [ OCaml ]


directory of related categories

NET
 

Caml@
 
 
directory of related topics

Comparison and Review :: Languages
Multiparadigm :: Compiled
Functional :: Languages
Object Oriented :: Garbage Collected
Bytecode :: Interpreted
Multiparadigm :: Languages
Class based :: Object Oriented
Open Source :: Languages
Procedural :: Languages

 
Objective_Caml RSS feed
eWeek - RSS Feeds

Gartner Revises Server Share Numbers
Thu, 03 Jul 2008 18:43:24 -0400
Gartner revised its first quarter numbers and found that IBM actually beat out Hewlett-Packard in server revenue....
Who Is Running The Most Secure Browser?
Thu, 03 Jul 2008 14:03:13 -0400
Many users are undoubtedly not updating their browsers as quickly as they should, but you can't conclude any specifics about that from the recent study of Google logs....
DOJ Sued Over Cell Phone Tracking Practices
Wed, 02 Jul 2008 17:08:34 -0400
Civil liberties groups claim the Justice Department is bypassing warrants to obtain real-time tracking information on U.S. citizens....
Microsoft Internet Explorer Security Strikes Back
Wed, 02 Jul 2008 17:03:53 -0400
Microsoft Internet Explorer 8 Beta 2 security builds on the Phishing Filter of IE 7 and thwarts cross-site scripting....
IBM Helps Link POS to the Back Office
Wed, 02 Jul 2008 16:50:30 -0400
IBM and Epicor jointly release an offering that centrally manages and supports POS....

The Seattle Times: Business & Technology

Pack the plastic; Alaska Airlines goes cashless
Thu, 03 Jul 2008 22:17:17 -0700
Alaska Airlines will no longer accept cash for in-flight purchases.
Pocket Armrest seeks to become the next neck pillow
Thu, 03 Jul 2008 22:09:44 -0700
Serial entrepreneur Matt Mostad, of Kenmore, comes up with an idea for traveler's aide while sitting in a cramped airplane seat.
Chevrolet may introduce a mini to U.S.
Thu, 03 Jul 2008 22:12:00 -0700
General Motors is considering a new Chevrolet minicar for the U.S. as it reworks its product lineup to cope with a dramatic shift from trucks to cars that is linked to high gas prices, a spokesman said Thursday.

NYT > Technology

Bits: Google Puts Privacy Link on Main Page
Fri, 04 Jul 2008 18:08:11 -0000
The move brings Google into clear compliance with a California law that requires many Internet sites to have a link to their privacy policy on their home page.
Google Told to Turn Over User Data of YouTube
Fri, 04 Jul 2008 04:30:23 -0000
The order raised concerns that the online video viewing habits of tens of millions of people could be exposed.
Bits: What Is Facebook Worth? (Part 37)
Fri, 04 Jul 2008 15:43:10 -0000
A document in the settled Facebook ConnectU litigation reveals that Facebook’s common shares are worth a quarter of the value of the stock Microsoft purchased when it invested in the social network.

CNN.com - Technology

Stealing ideas from nature
Fri, 04 Jul 2008 10:01:21 -0400
When self-confessed "nature nerd" Janine Benyus coined the term "biomimicry" in a book she published a decade ago, little did she know it would make her a household name, rubbing shoulders with Hollywood stars.
Faked tiger photo sparks Web furor
Fri, 04 Jul 2008 14:23:49 -0400
Read full story for latest details.
Tunguska blast still a mystery 100 years on
Fri, 04 Jul 2008 10:17:51 -0400
It produced a blast hundreds of times stronger than the Hiroshima bomb, was seen hundreds of miles away and narrowly missed obliterating an entire city -- but 100 years to the week after the mysterious explosion in Siberia, no one is any closer to understanding what caused it.

NPR Topics: Technology

We Know What You've Been Watching on YouTube
Fri, 04 Jul 2008 13:13:00 -0400
A court has ordered Google to turn over a database that links users to every video they've watched on the popular Web site YouTube. Jennifer Urban, director of the University of Southern California Intellectual Property and Technology Law Clinic, says the ruling has big implications for online privacy.
Twitter, What Are You Doing? Co-Founder Tells All
Thu, 03 Jul 2008 10:51:00 -0400
Twitter.com has so many new users that the Web site keeps crashing. Meanwhile, Twitter engineers are taking popular features away for retooling. It's a painful process, but co-founder Biz Stone has a plan.
Free Speech In China? Text Me
Wed, 02 Jul 2008 17:21:00 -0400
Hundreds of millions of people in China have cell phones, and with no voice mail, many turn to text messaging to make sure their messages get conveyed. Texting remains one of the few outlets for free speech in a country notorious for its censorship practices.

BBC News | Technology | UK Edition

Google 'faces Street View block'
Fri, 04 Jul 2008 07:56:34 -0000
Google's plans to launch a mapping tool in the UK could be referred to the Information Commissioner.
Warning letters to 'file-sharers'
Thu, 03 Jul 2008 17:41:04 -0000
The music industry says thousands of UK broadband users who share tracks illegally will be warned about it in letters.
Google must divulge YouTube log
Thu, 03 Jul 2008 20:19:53 -0000
Google must divulge the viewing habits of every user who has ever watched avideo on YouTube, says a US court.

Reuters Video: Technology

Japan asks: anybody out there?
Fri, 04 Jul 2008 12:02:00 -0400
Jul. 4 - Japan's biggest astronomical observatories are teaming up for a fresh quest to find out if there is life in outer space.
Reuters Technology Week
Thu, 03 Jul 2008 19:52:38 -0400
Jul. 3 - The robo-bartender, virtual haute couture, and global leaders ride hydrogen style.
Robo barman pulls first pint
Thu, 03 Jul 2008 09:03:25 -0400
Jul. 3 - Billed as the world's first robot barman, Mr Asahi pulls the crowds at London's Selfridges department store.

AP Top Technology News At 6:44 p.m. EDT

Court orders YouTube to give Viacom video logs
By ANICK JESDANUN Fri, 04 Jul 2008 11:52:13 -0000
NEW YORK (AP) -- Dismissing privacy concerns, a federal judge overseeing a $1 billion copyright-infringement lawsuit against YouTube has ordered the popular online video-sharing service to disclose who watches which video clips and when....
2 teens attacked in town mocked in YouTube videos
Fri, 04 Jul 2008 22:44:12 -0000
DOVER, N.Y. (AP) -- Two teenagers who drove to Oniontown after a series of YouTube videos portrayed the hamlet as a run-down, backwoods dump were pelted with rocks by an angry group of young residents, authorities said....
Internet addressing agency loses its own addresses
Thu, 03 Jul 2008 20:57:41 -0000
NEW YORK (AP) -- This doesn't sound good: The nonprofit agency in charge of the Internet's addresses recently lost track of its own....

CNET News.com

Ask.com closes Dictionary.com deal
Fri, 04 Jul 2008 14:52:00 -0700
Fourth-ranked search engine completes its acquisition of the parent company of Dictionary.com, Thesaurus.com, and Reference.com.
1 euro eBay baby goes home
Fri, 04 Jul 2008 13:37:00 -0700
Parents had put their baby boy up for sale on eBay--apparently as a joke--but German authorities didn't find it particularly amusing.
VeriSign names interim CEO
Fri, 04 Jul 2008 12:02:00 -0700
Company's founder takes the place of the CEO and president, who resigned abruptly earlier this week.

 
Subscribe to Computers RSS feed

directory of related sites

The Caml Language - This is the official web page of the OCaml development team. Here you'll find the official distribution, the manual, archives of the mailing list, links to tutorials and contributed libraries (in The Humps), style guidelines, books about OCaml.

Cameleon - An IDE specially designed for OCaml.

404 Camlmake - Hack to build OCaml programs easily, doesn't support any new syntax of 3.00, should be rewritten to use lexer that new ocamldep uses. Description, source code download tar file. [Open Source; LGPL, GPL, Q Public License]

Camomile - Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]

COCAN: The OCaml Alliance Network - Business-focused wiki on OCaml: why managers should choose it, lists of people and firms who use it, how to install on various operating systems, technical resources, user groups.
Meta Description: [ The OCaml Alliance Network coordinates industry requirements, advocacy and marketing of the Objective CAML programming language ]

CocOCaml - A Cocoa based wrapper for the OCaml toplevel environment. It was written to solve a number of the problems one usually runs into while running the toplevel under OS X's terminal.

Developing applications with Objective Caml - A book from O'Reilly, available online. Lots of examples and topics covered. Only drawback: based on a old version of OCaml.

Dimitri Ara's page: ocaml - Descriptions, links, software: Epeire graphical interface for OCaml debugger, ocamldsort dependency sorter for OCaml source files. Readme files, downloads.

G'Caml - O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer.

LablGTK - OCaml Gtk+ interface.

500 Markus Mottl's OCaml software - Includes functionnal libraries, interfaces to PostgreSQL and LAPACK and Perl regexps, OCamlMakefile, syntax files for VIM, and a few more.

Merjis Ltd. - Has mod_caml OCaml bindings for Apache API, lets you run CGI scripts written in OCaml directly in Apache webserver; and OCaml tutorial, practical, detailed, for those who already know an imperative or OO language.
Meta Description: [ Developers ]

MlGtk - An interface between OCaml and the Gtk+ toolkit

O'Jacare - Object-oriented interface between OCaml and Java, code generator to aid interoperability via their object models, defines an IDL and allows a safety execution by static typechecking.
Meta Description: [ O'Jacare is a code generator to help in interoperability between O'Caml and Java through their object model. It defines an IDL and allows an safety execution by static typechecking. ]

Objective Label - Extension of OCaml with labeled and optional parameters, and polymorphic variants and methods.

OCaml Advocacy - Lists many advantages, some shortcomings.

OCaml for Scientists - This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules.
Meta Description: [ Book: OCaml for Scientists ]

OCaml Link Database - Large, indexed, sorted repository of software contributions for OCaml community. Descriptions, downloads, author contacts.

omlet.vim - VIM syntax file for OCaml.

Perl4Caml - Allows using any CPAN Perl code within OCaml.
Meta Description: [ Developers/Perl4Caml ]

Programming with Objective Caml - Home of GODI advanced programming environment for OCaml; news, projects with downloads, links, source tree.

Pycaml - Lets users build native OCaml libraries and use them from Python and conversely.

The JoCaml System - Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.

Tuareg Mode - For Emacs, used to edit OCaml code, gives shortcuts, syntax coloring, automatic indenting, interaction with the toplevel.
Meta Description: [ A powerful Caml mode for GNU Emacs and XEmacs. Handles Objective Caml and Camllight ]

Yahoo Groups: OCaml_beginners - Email forum for mutual aid of those who know they're not OCaml gurus yet.
Meta Description: [ ocaml_beginners: Ocaml Beginners ]

Objective_Caml related videos
this is how u make a caml. Compressed Air Missle Launcher. note:at the end u dont have to put missle lookin stuff and ...
Next Video

 

HOMEADVERTISINGABOUT US

articlesartsbusinesscomputersgameshealthhospitalshomekids & teensnewsmobilephysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld


Submit a Site About Become an Editor