Home » forums » LtU Forum

ErlCaml

Some folks are floating a proposal to hook Erlang to OCaml, in a bid to get around each other's weak spots! Garbage collection is the obvious challenge here; but are there more subtle impedances?

By Jason Dusek at 2007-07-13 03:47 | LtU Forum | previous forum topic | next forum topic | other blogs | 6116 reads

Comment viewing options

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

Uh... types...


By Derek Elkins at Fri, 2007-07-13 03:49 | login or register to post comments

Why?

Why would that be a stumbling block? It depends on the degree of integration, for sure -- one would not be able to emulate OCaml's type system in Erlang -- but it would be much more difficult to make a bridge to a language like Haskell, which would probably result in a lot of overconstrained types when you went from one language to the other.

By Jason Dusek at Fri, 2007-07-13 16:35 | login or register to post comments