Pour ma part, je trouve que les changements induits (librairies sorties du projet principal) justifieraient un changement de version majeure. Un programme écrit pour OCaml 4.01 ne compilera pas directement avec OCaml 4.02, sans changements dans le projet ; non pas à cause de changements de syntaxe, qui, comme tu le fais remarquer est très stable, mais à cause de l'environnement qui évolue (dépendance vers camlp4 qui ne sera plus disponible par défaut).
En même temps, j'ai l'impression que OCaml 4.XX marque une rupture dans le langage. Historiquement, un bon langage était un langage avec une bonne syntaxe, qui évitait au développeur de passer du temps sur des choses simples. Aujourd'hui ça n'est plus suffisant : un bon langage doit « être fourni avec des piles » pour reprendre le slogan de python.
Pendant longtemps, c'est ce qui a manqué à OCaml. Deux bibliothèques concurrentes ont essayées de combler ce manque, batteries et core, et il semble qu'aujourd'hui core soit en train de gagner la bataille. ( + Opam vient également changer la donne dans la diffusion des bibliothèques ).
Pour moi, cela représente davantage que les changements de syntaxes. Un langage ne peut pas être résumé à sa grammaire s'il veut se diffuser. OCaml à la chance d'avoir une bonne syntaxe, élégante et très puissante. S'il n'a pas percé jusqu'alors, c'est pour d'autres raisons, et je pense que cette version 4.XX est en train de marquer ces changements.
C'est bien beau de pouvoir coder des arbres balancés, mais au quotidien, on a plus souvent besoin d'un parseur XML que d'un splay tree ! Je pense que c'est sur ce point que l'on va continuer à voir le langage évoluer et se diffuser.
[^] # Re: Tant de changements pour une version mineure
Posté par chimrod (site web personnel) . En réponse à la dépêche OCaml 4.02. Évalué à 10.
Pour ma part, je trouve que les changements induits (librairies sorties du projet principal) justifieraient un changement de version majeure. Un programme écrit pour OCaml 4.01 ne compilera pas directement avec OCaml 4.02, sans changements dans le projet ; non pas à cause de changements de syntaxe, qui, comme tu le fais remarquer est très stable, mais à cause de l'environnement qui évolue (dépendance vers camlp4 qui ne sera plus disponible par défaut).
En même temps, j'ai l'impression que OCaml 4.XX marque une rupture dans le langage. Historiquement, un bon langage était un langage avec une bonne syntaxe, qui évitait au développeur de passer du temps sur des choses simples. Aujourd'hui ça n'est plus suffisant : un bon langage doit « être fourni avec des piles » pour reprendre le slogan de python.
Pendant longtemps, c'est ce qui a manqué à OCaml. Deux bibliothèques concurrentes ont essayées de combler ce manque, batteries et core, et il semble qu'aujourd'hui core soit en train de gagner la bataille. ( + Opam vient également changer la donne dans la diffusion des bibliothèques ).
Pour moi, cela représente davantage que les changements de syntaxes. Un langage ne peut pas être résumé à sa grammaire s'il veut se diffuser. OCaml à la chance d'avoir une bonne syntaxe, élégante et très puissante. S'il n'a pas percé jusqu'alors, c'est pour d'autres raisons, et je pense que cette version 4.XX est en train de marquer ces changements.
C'est bien beau de pouvoir coder des arbres balancés, mais au quotidien, on a plus souvent besoin d'un parseur XML que d'un splay tree ! Je pense que c'est sur ce point que l'on va continuer à voir le langage évoluer et se diffuser.