Re: [Caml-list] Make OCaml library available to Java

[Arlen Cox <arlencox@gmail.com>]

If you stuck to a really simple subset of OCaml, it might be possible
to do a Scala translation (with appropriate type information), just
like if you stick to a really simple subset the code can work as F#
code.  I think Yeti falls into the same camp.  It doesn't look like it
supports a proper module system either.

Honestly this is really just a thought experiment.  What I really want
is for OCaml-Java to be revived...

-Arlen

On Tue, Aug 2, 2016 at 1:21 PM, Pippijn van Steenhoven
<pip88nl@gmail.com> wrote:
> On Tue, Aug 02, 2016 at 07:51:11AM -0400, Arlen Cox wrote:
>> Has anyone considered writing a source-to-source translator from OCaml to Scala?
>
> I don't think this is reasonable. The OCaml and Scala type systems differ
> massively. This would not be a source to source translation, but rather
> just a compiler that targets Scala, which doesn't seem like a very useful
> thing to do.
>
> You might have more luck with Yeti[1], which is quite close to OCaml
> already, and has a similar type system. It might even be possible to
> semi-automatically (with lots of vim macros) translate all your code to
> Yeti in a reasonable amount of time.
>
> Cheers,
> Pippijn
>
> [1] https://mth.github.io/yeti/