Re: JoCaml and Parallelizing Compilers

[Sean Callanan <sc843@bard.edu>]

Dear Mr. Schmitt (and the ML),

This is in fact the problem I meant. JoCaml is a superset of ocaml, so 
there is a very naive mapping of Ocaml programs to Jocaml (cp in.ocaml 
out.jocaml). What I am more interested in is mappings that improve 
performance on distributed machines.

Sincerely,
Sean Callanan

Alan Schmitt wrote:

>Hi,
>[...]
>The whole point of JoCaml is to implement the Join Calculus on top of
>OCaml, so any OCaml program that does not use too recent features (let's
>say objects, labels, polymorphic variants) can be compiled as a JoCaml
>program. (more precisely, any ocaml program that can be compiled by the
>1.07 version of the compiler can be compiled by jocaml). So I'm afraid
>there is not much to do there in term of research. Now you may want to
>look at how to convert sequential jocaml programs into parallel jocaml
>programs ... but I don't know much about this. Maybe someone else on the
>list will have an idea.
>
>Best,
>
>Alan
>
>  
>
>>To Whom It May Concern,
>>
>>I am a college senior at Bard College in Annandale, New York, USA. My
>>main interest is in distributed computing and parallel algorithms.   
>>[...]
>>Has the problem of automatically converting Objective-Caml (or simply
>>Caml) code to JoCaml code been considered? If so, is it a hard problem?
>>Or could you perhaps recommend to me a related problem that may bring me
>>more results?
>>
>>Thank you very much in advance for any help you can provide.
>>
>>    
>>