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?

Comment viewing options

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

Uh... types...


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.