Page principale Formulaire d'adhésion

Annexe
Le Consortium Caml

[Version Anglaise]

Le Consortium Caml a pour vocation de fédérer les efforts de conception et de développement autour du langage de programmation Caml.

Ce langage et son implémentation la plus connue, le système Objective Caml, dont les qualités sont reconnues, permettent d'obtenir des gains de productivité considérables grâce à sa grande expressivité et aux vérifications statiques effectuées par le compilateur qui détectent la majeure partie des erreurs de programmation avant même l'exécution du programme.

Toutefois, comme pour tout produit de recherche, se pose tout naturellement la question de la pérennité du langage ainsi que l'existence de sociétés pouvant assurer le développement et/ou la maintenance des applications programmées en Caml. Un consortium regroupant les utilisateurs majeurs du langage est probablement la meilleure réponse que l'on puisse apporter à ces questions.

Les rôles du Consortium

Le consortium Caml tentera donc de réunir, autour de l'équipe de développement du langage, les industriels, centres de recherche et établissements d'enseignement intéressés pour apporter leur soutien à la conception et au développement du langage et des outils associés.

Formant un groupement d'utilisateurs fortement motivés, le Consortium sera le lieu où ses membres pourront identifier leurs besoins communs, échanger leurs expériences et solutions, et coopérer pour proposer tel ou tel développement d'intérêt général. Un des rôles du Consortium est donc d'être un lieu de rencontre et d'échange entre utilisateurs du langage. C'est là que se créera une véritable communauté propre à aider au développement du langage et à lui assurer une visibilité telle que cette communauté soit à même de se développer.

La motivation et l'importance industrielle de ses membres attireront aussi à l'intérieur du Consortium des sociétés désireuses d'être présentes sur le marché des applications et de la formation Caml. Un autre rôle du Consortium est donc d'attirer de nouveaux membres, qu'ils soient utilisateurs du langage ou fournisseurs de services.

Enfin, le Consortium fournira un élément de réponse à la question de la pérennité du langage. Les éléments essentiels de la pérennité d'un langage de programmation sont la pérennité de ses compilateurs (ou leur libre disponibilité), sa base d'utilisateurs, et le volume des codes (stables) existants. Le succès du Consortium Caml permettra de mesurer la base d'utilisateurs et le volume de code Caml existant. Quant à la disponibilité et le développement des compilateurs Caml, ceux-ci sont d'ores et déjà librement distribués avec leurs sources. Si l'INRIA décide un jour de se désengager du développement de Caml, et donc de dissoudre le Consortium Caml tel qu'il sera à ce moment, les membres du Consortium seront suffisamment nombreux, ils auront des profils suffisamment diversifiés, et le marché du langage sera tel que les membres du Consortium puissent sans difficulté perpétuer l'existence et le développement du langage. L'INRIA facilitera cette transition, qui est dans l'intérêt général.

Le fonctionnement du Consortium

Le Consortium Caml est constitué de l'INRIA d'une part, et de membres d'autre part. Formellement, l'appartenance d'un membre au Consortium est acquise par la signature d'un accord type entre le membre et l'INRIA. Puisque l'un des objectifs du Consortium est de réunir des fonds qui seront entièrement dédiés au développement et à la promotion de Caml, l'adhésion au Consortium implique le versement d'une cotisation.

L'adhésion au Consortium représente une sorte de parrainage des activités de conception et de développement autour de Caml. Elle n'impose bien sûr aucune obligation au membre quant à l'utilisation de Caml, mais ne lui donne non plus aucun droit particulier sur le système Caml.

Le Consortium Caml sera doté d'un Comité Scientifique où chacun des membres du Consortium sera représenté et qui se réunit au minimum deux fois par an. La présidence du Comité Scientifique est assurée par l'INRIA, et le rôle du Comité est d'examiner les travaux effectués dans le cadre du Consortium, de préparer les activités organisées par le Consortium (conférence d'utilisateurs de Caml, par exemple), et de fixer un programme des travaux à effectuer dans les mois à venir.

Ainsi, les réunions du Comité Scientifique donneront l'occasion aux membres du Consortium de commenter les travaux effectués, de suggérer des travaux futurs et de contribuer à leur définition.

On cherchera bien sûr à obtenir, dans la mesure du possible, un consensus lors des prises de décision par le Comité Scientifique. Les membres du Consortium n'ont cependant qu'un rôle consultatif, et aucun mécanisme formel de vote n'est mis en place pour ces prises de décision, les décisions finales revenant au représentant de l'INRIA. Ce mécanisme permettra de garantir un développement harmonieux du système Caml.

[Version Anglaise]


Page principale Formulaire d'adhésion