[Caml-list] JoCaml

[Caml-list] JoCaml

[Will Benton]

What's the state of JoCaml?  Is it actively developed?  Has it a
separate mailing list?





wb

-- 
Will Benton      | "Nicht wie die Welt ist, ist das Mystische, 
willb@acm.org    |  sondern daß sie ist." --L. Wittgenstein
**GnuPG public key:  http://www.cs.wisc.edu/~willb/pubkey

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] JoCaml

[Alan Schmitt]

JoCaml is still actively developped, and is undergoing a complete
rewrite. There is a list for jocaml, it's jocaml@pauillac.inria.fr (I
forgot the details on how to subscribe, it's on the web page:
http://pauillac.inria.fr/jocaml/). You can also reach the JoCaml
developpers at jocaml-dev@pauillac.inria.fr.

Alan

* Will Benton (willb@cs.wisc.edu) wrote:
> What's the state of JoCaml?  Is it actively developed?  Has it a
> separate mailing list?
> 


--
The hacker: someone who figured things out and made something cool happen.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] JoCaml

[Luc Maranget]

> 
> What's the state of JoCaml?  Is it actively developed?  Has it a
> separate mailing list?
> 
> 
> wb

JoCaml is being developped , we are aiming at a better integration in
Ocaml. (Do not hold your breath until the next release though...)

Il the meantime JoCaml remains OCaml 1.07 based. There is no mailing
list nut you can contact the developpers at

 jocaml-dev@inria.fr

JoCaml web page is 

http://pauillac.inria.fr/jocaml/

Hope it helps.

--Luc Maranget

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] JoCaml

[Alan Schmitt]

* Luc Maranget (luc.maranget@inria.fr) wrote:
> JoCaml is being developped , we are aiming at a better integration in
> Ocaml. (Do not hold your breath until the next release though...)
> 
> Il the meantime JoCaml remains OCaml 1.07 based. There is no mailing
> list nut you can contact the developpers at
> 
>  jocaml-dev@inria.fr

There is a mailing list, you can subscribe at jocaml-request@inria.fr
(usual majordomo interface, just send a message with "subscribe" in the
body).

If you look at the archives, at
http://pauillac.inria.fr/bin/wilma/jocaml you'll see that the traffic is
very very low.

Alan

--
The hacker: someone who figured things out and made something cool happen.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] JoCaml

[Luc Maranget]

> 
> On Mar 27, 2007, at 4:02 PM, Luc Maranget wrote:
> 
> >* Different syntax and no more code mobility.
> 
> What was the reason for removing code mobility?
The price for ocaml compatility and for (relative) simplicity.
Code mobility may be added later...

> 
> >* Hopefully, binary compatibility with OCaml (Hum..)
> 
> What does this mean? I was under the impression that Jocaml  
> translated into OCaml.
No, JoCaml is a modified OCaml system, besides parsing, typing
is different and we added a pattern matching feature that
must take place inside the compiler.


> 
> Also, will there be compatibility with latest OCaml releases going  
> forward?
We hope so, and this should be quite simple.
At the moment JoCaml is a branch in OCaml cvs trunk. Synchronization
at release time is quite easy. This enable compatibility at the source
level almost for free.

Compatibility at the binary level apparently works.


> My understanding is that the previous Jocaml was based on  
> Ocaml 1.x.
You are correct.



> 
> 	Thanks, Joel
> 
> --
> http://wagerlabs.com/
> 
> 
> 
> 

-- 
Luc Maranget

Re: [Caml-list] JoCaml

[Joel Reymont]

On Mar 27, 2007, at 4:02 PM, Luc Maranget wrote:

> * Different syntax and no more code mobility.

What was the reason for removing code mobility?

> * Hopefully, binary compatibility with OCaml (Hum..)

What does this mean? I was under the impression that Jocaml  
translated into OCaml.

Also, will there be compatibility with latest OCaml releases going  
forward? My understanding is that the previous Jocaml was based on  
Ocaml 1.x.

	Thanks, Joel

--
http://wagerlabs.com/

Re: [Caml-list] JoCaml

[Luc Maranget]

> Luc,
> 
> On Mar 27, 2007, at 3:51 PM, Luc Maranget wrote:
> 
> >We are working on a new version of JoCaml, that is of course
> >uncompatible with previous versions, but will be more compatible
> >with OCaml.
> 
> Are the planned changes listed anywhere?

Basically,

* Different syntax and no more code mobility.
* Two compilers (jocamlc, jocamlopt) and a toplevel (jocaml)
* Hopefully, binary compatibility with OCaml (Hum..)


> 
> Is there a paper describing the improvements?
> 
> 	Thanks, Joel

We are writing the documentation, nothing published yet.

-- 
Luc Maranget

Re: [Caml-list] JoCaml

[Joel Reymont]

Luc,

On Mar 27, 2007, at 3:51 PM, Luc Maranget wrote:

> We are working on a new version of JoCaml, that is of course
> uncompatible with previous versions, but will be more compatible
> with OCaml.

Are the planned changes listed anywhere?

Is there a paper describing the improvements?

	Thanks, Joel

--
http://wagerlabs.com/

Re: [Caml-list] JoCaml

[Luc Maranget]

> Is anyone using JoCaml in production?
> 
> Is JoCaml in active development or has the project been subsumed into  
> another one?
> 
> 	Thanks, Joel
> 
> --
> http://wagerlabs.com/
> 
> 

We are working on a new version of JoCaml, that is of course
uncompatible with previous versions, but will be more compatible
with OCaml.

A JoCaml release will follow the next Objective Caml release.



-- 
Luc Maranget

Re: [Caml-list] JoCaml

[James Leifer]

Jonathan Roewen <jonathan.roewen@gmail.com> writes:

> Hi,
>
> I'm wondering how I could contact someone responsible for the JoCaml
> project (I assume it's still active in research circles). General mail
> links on the old JoCaml pages don't work.

Hi Jonathan,

The person to contact is Luc.Maranget@inria.fr.

Best wishes,
-James