Présentation OCaml le 21 mai 2013 à Paris

Posté par (page perso) . Édité par Nils Ratusznik, Benoît Sibaud, Nÿco et Jiehong. Modéré par Nils Ratusznik. Licence CC by-sa
Tags :
12
15
mai
2013
Communauté

Le groupe ocaml-paris organise une présentation le mardi 21 mai 2013 à partir de 19h30, au 23 avenue d'Italie, à Paris (75013).

Le programme est le suivant :

  • 19h30-19h40 : intro et nouvelles ;
  • 19h40-20h05 : Esther Baruk : LexiFi : usage d'OCaml pour décrire des contrats financiers ;
  • 20h05-20h30 : Gabriel Scherer : comment mieux interagir avec l'équipe du noyau d'OCaml ;
  • 20h30-20h55 : Benoît Vaugon : que peut-on faire avec le bytecode d'OCaml ?
  • 20h55-21h20 : Frédéric Bour : Merlin, un IDE OCaml pour Vim ;
  • (reporté) Pierre Chambart : les GADT dans la pratique ;
  • 21h20-21h30 : discussions ouvertes/démos flash ;
  • 21h30 : pizzas.

Si vous souhaitez rencontrer les acteurs du langage, et vous plonger dans l'actualité d'OCaml, c'est l'occasion !

  • # La suite pour ocaml ?

    Posté par . Évalué à 3.

    Est-ce que quelqu'un sait ce qui est prévu pour la prochaine version d'ocaml ?

    "La première sécurité est la liberté"

    • [^] # Re: La suite pour ocaml ?

      Posté par (page perso) . Évalué à -2.

      Est-ce que quelqu'un sait ce qui est prévu pour la prochaine version d'ocaml ?

      D'y rester.

    • [^] # Re: La suite pour ocaml ?

      Posté par (page perso) . Évalué à 1.

      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
      • plein de correctifs de bugs
      • [^] # Re: La suite pour ocaml ?

        Posté par . Évalué à 3.

        Est-ce qu'un jour la lib principal serait remplacé par battery ou un équivalent ?

        Est-ce que le support de windows sera un peu plus "sympa" ? (sys.rename qui rale si le fichier destination existe mais pas sous linux, le module "Unix", installeur pas forcément à jour, …)

        Est-ce qu'il existe une library graphique digne de ce nom ? Le binding gtk est connu mais bon gtk… :/

        "La première sécurité est la liberté"

        • [^] # Re: La suite pour ocaml ?

          Posté par (page perso) . Évalué à 1.

          Est-ce qu'un jour la lib principal serait remplacé par battery ou un équivalent ?

          Pour l'instant, il y a le choix entre Batteries et Core. Ni l'une, ni l'autre n'a l'adhésion de la communauté : Batteries manque de soutien industriel, et Core est un peu trop liée à Jane Street, ce qui est à la fois un avantage (qualité) et un inconvénient (évolution externe difficile). OCamlPro avait pour ambition d'en soutenir une, mais aucun client ne s'est manifesté pour soutenir financièrement cette idée.

          Est-ce que le support de windows sera un peu plus "sympa" ? (sys.rename qui rale si le fichier destination existe mais pas sous linux, le module "Unix", installeur pas forcément à jour, …)

          Oui, c'est dans les cartons ;-)

          Est-ce qu'il existe une library graphique digne de ce nom ? Le binding gtk est connu mais bon gtk… :/

          Je suis en train d'améliorer wxOCaml (https://github.com/OCamlPro/ocplib-wxOCaml), ça commence à devenir utilisable (voir le sous-répertoire "samples" qui contient plusieurs exemples que j'ai traduits de C++ à OCaml), et surtout, c'est prévu pour être facilement extensible, avec une génération quasi totalement automatique des stubs (ajout de nouvelles classes, de nouvelles
          méthodes). Normalement, wxWidgets donne un rendu supérieur à celui de GTK, en tout cas sous Mac OS et Windows.

          • [^] # Re: La suite pour ocaml ?

            Posté par . Évalué à 2.

            OCamlPro avait pour ambition d'en soutenir une, mais aucun client ne s'est manifesté pour soutenir financièrement cette idée.

            Peut-on avoir une idée de ce que ça veut dire, quantitativement, « soutenir une idée » ?

            Et sinon, les implicites c'est pour quand ?

            • [^] # Re: La suite pour ocaml ?

              Posté par (page perso) . Évalué à 1.

              Peut-on avoir une idée de ce que ça veut dire, quantitativement, « soutenir une idée » ?

              Le strict minimum, ce serait de pouvoir financer une personne à plein temps dessus, pendant plusieurs années, d'abord pour la concevoir, ensuite pour la maintenir. Mais bon, c'est un minimum, je doute que le JDK ait été développé par une seule personne…

              Et sinon, les implicites c'est pour quand ?

              Euh, finalement, Grégoire a principalement travaillé sur les types dynamiques, les implicites sont dans sa roadmap, mais pour plus tard…

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.