Re: Open source : F# pompe sur Ocaml et se commercialise...

Bonjour,
Merci a tous pour vos reactions.
Je comprends que l'equipe F# (en particulier Don Syme) entretient des
relations cordiales et fructueuses avec l'equipe Ocaml.
Don Syme est sans aucun doute quelqu'un de bien et de competent. Il a
dit depuis le debut de F# que tout est parti de Ocaml
meme s'il y a eu du travail de leur cote sur certains traits du
langage pour coller a .NET.
J'aurais en fait juste souhaite que le patron SOMA (de la programming
Division), au moment d'annoncer l'integration de F# dans
Visual Studio, rappelle en un mot l'apport determinant de l'INRIA et
Ocaml.
Pour moi, ca releve du respect, de la politesse, du constat simple que
F# n'aurait jamais fait aussi vite et bien sans Ocaml...
Donc plutot que lire chez SOMA : "F# stems from the functional
programming tradition (hence the 'F') and has strong roots in the ML
family of languages, though also draws from C#, LINQ and Haskell.  F#
is designed from the outset to be a first class citizen on .NET. "

J'aurai prefere lire au minimum "... has strong roots in the ML
family, especially Ocaml language of INRIA, from which it
originated...".
Microsoft et l'INRIA ne sont pas concurrents ; ils sont meme
partenaires de recherche sur d'autres sujets. Donc ca n'ecorche pas la
langue et ca ne fait que du bien dans les relations.
Il s'agit aussi d'honnetete intellectuelle. Don Syme avait joue cette
carte d'autant plus facilement que c'est un chercheur. Ses nouveaux
collegues cote business, eux, s'en moquent bien. Dans quelques annees,
ils parleront de Ocaml comme de la prehistoire ou feront mine de ne
pas connaitre.
De toute maniere, les principaux futurs clients importants pour F# que
sont par exemple les informaticiens/matheux en finance ne s'y trompent
pas puisqu'ils connaissent tout le monde...
Pour finir sur une note positive, je pense qu'on va avoir encore de
bonnes surprises provenant de l'INRIA notamment avec de nouveaux
langages a mi-chemin entre caml et Coq. Quand on entend que X. Leroy a
passe un an sur Coq (en tant qu'utilisateur) pour certifier un
compilateur, on peut esperer qu'il sortira du tres bon de cette
experience. Sous quelle license, quel mode de distrib ? Quelle
strategie de recherche appliquee ? Ces questions ont longtemps ete
traitees trop rapidement dans un esprit open source (tout le monde il
est bon, ...il est gentil). Pourquoi pas ? Quelle alternative ? Le
Plan strategique de l'INRIA dit juste : "professionnaliser davantage
les activités de développement logiciel et de gestion de la propriété
intellectuelle". Comment fait-on pour jouer le jeu du principe de
communication de la recherche au niveau mondial et en meme temps
proteger ses investissements et sa propriete intellectuelle de
recuperation mercantile sans accord ? Les licences ? Bof (cf mes potes
chinois). Je sais bien que ce n'est pas simple ; je suis insatisfait
du deroulement des choses.
Shibuiette