Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCaml 3.12.0+beta1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Mathias Kende <mathias.kende@e...>
Subject: Re: [Caml-list] OCaml 3.12.0+beta1
Le jeudi 24 juin 2010 à 20:59 +0200, Florent.Ouchet@imag.fr a écrit :
> Martin Jambon <martin.jambon@ens-lyon.org> a écrit :
> > I disagree.  The syntax is a new and optional feature.  Authors who  
> > want their
> > new code to compile with an earlier version of OCaml should simply  
> > avoid using
> > the new feature, as always.
> 
> The 3.12 version number is just minor increment. It should keep  
> backward compatibility with the 3.x branch as much as possible.

Backward compatibility is the ability for the 3.12 compiler to compile
source code written for the 3.11 or earlier version. And this is
(mostly) achieved.

What you're asking for is "forward compatibility". An no one really
wants that, because it would prevent any new feature in the compiler
exept on those rare major version.

Mathias

> > Finally we'll be able to use pattern matching on records for real and it's
> > really cool.  That means we can use records where we used to prefer tuples,
> > typically on things like tree nodes.  It will make it easier to add fields
> > when the code evolves, compared to tuples.
> 
> Yes, this feature is cool. We agree on this point. However not all  
> systems will be updated to 3.12 as soon as the final version is out.  
> Most users rely on their linux distribution ocaml (Debian stable is  
> still stuck at 3.10 for instance).
> 
> For syntax sugar extensions, such as { loc; name; _ }, your "don't use  
> it" conclusion can be understood. But for code stabilization syntax  
> extensions, such as { ... ; _ }, it's an other story. Users stuck with  
> more stable versions of the compiler should be able to use more stable  
> versions of software compiled with it.
> 
> - Florent
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs