Objective Caml

Generating Javascript bindings from OCaml interfaces

LexiFi is currently experimenting with the js_of_ocaml compiler in order to create some browser-side applications in OCaml. In this context, we have started a new project called gen_js_api which aims at simplifying the creation of bindings to Javascript libraries. The approach is quite different from js_of_ocaml's native FFI (which relies on language extensions).

About unboxed float arrays

This post is about the special representation that OCaml uses for arrays of floating point values. My claim is that this special representation is useful, but also harmful in some contexts. There are better alternatives that achieve the same benefits without the drawbacks.

If you are familiar about the OCaml representation of value and the special representation for arrays of floats, you can skip the first two sections.

LexiFi is hiring OCaml developers

LexiFi is hiring!

We are looking for full time software developers, with a passion for functional programming, ideally in OCaml, and for beautiful code.

Learn about how LexiFi uses OCaml: http://www.lexifi.com/product/technology/ocaml

No prior knowledge of finance is required. If you are interested, please send your resume to careers@lexifi.com.

ppx and extension points

The release of OCaml 4.02 is approaching and amongst many other new stuff, it will include the work on -ppx and extension points, supporting light-weight syntactic tools (without Camlp4). This effort was coordinated with the OCaml community through the wg-camlp4 mailing list, and now it is very enjoyable to see the community starting to make good use of these new features. In this post, I wanted to collect pointers to blogs and projects making use of extension points.

Inlined records in constructors

I'd like to introduce a new language feature, inlined record arguments on constructors, which I propose for inclusion in OCaml. In a nutshell, it allows you to define a record directly within a sum type constructor:

  type t =
     | A of { x : int; y: string }
     | ...

The argument of the constructor is a full-fledged record type. All features of records are available: dot notation, mutable fields, polymorphic fields, punning syntax, record override. You can write:

Static exceptions

In this post, I propose Static Exceptions as a new language feature allowing programmers to express interesting control flows in a compact way.

A note about the performance of Printf and Format

The goal is to display the following to stdout:


How would you implement that in OCaml? For such a simple task, we probably expect the program to be IO bound, right? Ok, let's try with the idiomatic way, which is to use format strings as provided by the Printf module from OCaml standard library:

Type-based selection of label and constructors

Most languages provide some way to manipulate tuples of values with a proper label for each field. They are called structures in C, records in OCaml; objects as found in most mainstream OO languages extend this same notion.

ML workshop 2012: call for participation

Registration is now open for ICFP and affiliated events, including the ML workshop 2012. Researchers, developers and users of OCaml and other languages of the ML family (SML, F#) are invited to participate to the workshop, on September 13. This is between the main ICFP conference and the OCaml Users and Developers Workshop, also of interest for the OCaml community.

Syntax extensions without Camlp4: let's do it!

In a previous post, I've described a proposal on how to get rid of Camlp4 to write simple syntax extensions. This proposal slowly becomes a reality:

Syndicate content