ErlOCaml, a "tight bridge between Erlang and OCaml".

Found this mentioned in the "Erlang and OCaml" talk in the proceedings of the ACM SIGPLAN Erlang Workshop 2007.

As the talk-slides say, there is "No particular progress yet", but it is an interesting idea.
Here is the first slide:


  • Erlang is very good at concurrency
  • Not so good at raw sequential processing
  • Strong momentum in systems programming
  • OCaml has a reputation for speed
  • No particular momentum in concurrency programming
  • We should try to lower the barriers between different FP languages

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Good idea!

That certainly marries two functional programming languages that have orthogonal merits.

lack of time... the main impediment to progress right now.
The ErlOcaml google group has a number of members who
are excited about the idea, but all are too busy to
make anything happen. If anyone wants to contribute,
the cheerleading section is eager to support you. (:

ML + Erlang

Sounds like Concurrent ML. Both MLton and SML/NJ provide it.

a bit too simplistic

Read Erlang/OTP + OCaml
Erlang/OTP is not just the language Erlang. It's a fairly large collection of libraries for building commercial high-availability applications.

People choose Erlang/OTP for various reasons, not least because it has a good user base with tons of collective experience writing hardcore business applications in areas like telecoms and banking, and because it has earned a reputation of being quite mature and extremely stable.

Once in a while these people write low-level stuff in C. We want to explore the possibility of writing low-level code in an Erlang similar to Erlang, but with more focus on speed and type safety, which is just what one wants in these situations.

It may well be that this triggers some people to look at ML, who'd never consider it otherwise.