The Caml Hump: Programming languages

An OCAML implementation of John Backus' FP system.

Eff is a functional programming language based on algebraic effects and their handlers.

FoCaLize is an integrated development environment to write high integrity programs and systems. It provides a purely functional language to formally express specifications, describe the design and code the algorithms. Within the functional language, FoCaLize provides a logical framework to express the properties of the code. A simple declarative language provides the natural expression of proofs of those properties from within the program source code.

ReactiveML is a programming language dedicated to the implementation of interactive systems as found in graphical user interfaces, video games or simulation problems. ReactiveML is based on the synchronous reactive model of Boussinot embedded in an ML language (here OCaml). The synchronous reactive model provides synchronous parallel composition and dynamic features like the dynamic creation of processes. In ReactiveML, the reactive model is integrated at the language level (not as a library) which leads to safer and more natural programming.

A web site with collaborative publication of OCaml-related articles, Q&As, examples, ...

Des transparents de présentation d'OCaml, ses points forts, ses domaines de prédilection, ...

This course is designed for beginners, and does not require any knowledge in programming at all. Anyone aged over 12 should be able to complete the course on his own, and thus learn the fundamentals of programming. For the time being, it is only available in french, but it will be translated into english later on.

A course on Computational Linguistics, using Caml.

Cours de programmation fonctionnelle, illustré par OCaml (in french).

Some notes about teaching OCaml at school.

Une introduction avec le langage OCaml. Les programmes d'exemple sont à l'adresse suivante: http://dept-info.labri.u-bordeaux.fr/~narbel/PFGO/index_sources.html

A book including a library of Caml code to help the students in the implementation of interpreters for toy languages.

Library for Java .class file manipulation. Also a command-line [dis]assembler for Java.

The goal of this project is to provide access to Mac OS X's APIs from OCaml. The project focuses on the set of APIs referred to as "Cocoa", that is APIs based on Objective C artefacts (classes, objects, protocols, methods). With such access to Cocoa's APIs, it is expected that OCaml programmers would be able to design, develop and build native MacOSX applications with ease. Some features are explicitly out of scope: - general support of C-type apis (structs) - general support for Objective C (this project is targetted at Mac OS X) - platforms different from MacOSX The targetted user is an intermediate level developer, at ease with all of OCaml constructs (including modules, classes, labels) and with Cocoa programming.

The Caml Examples package is a large set of Caml example programs. Most of the programs are provided both in Objective Caml and in Caml Light.