La prochaine version (4.01) est prévue pour juin-juillet 2013.
Parmi les modifications importantes :
la propagation des types dans le filtrage : ça permet d'avoir des types avec des labels ou des constructeurs identiques sans que cela pose problème, en annotant les types filtrés (comme en C ou Java).
en cas d'erreur "Unbound identifier", le compilateur suggère maintenant les identifiants les plus proches
compilation en mode "frame-pointers" pour profiler avec Linux perf
plusieurs optimisations, en particulier lectures/écritures optimisées des int 8,16,32 et 64 bits little/big endian
[^] # Re: La suite pour ocaml ?
Posté par Fabrice Le Fessant . En réponse à la dépêche Présentation OCaml le 21 mai 2013 à Paris. Évalué à 1.
La prochaine version (4.01) est prévue pour juin-juillet 2013.
Parmi les modifications importantes :