Aller au contenu Aller au menu
  • Dépêches
  • Journaux
  • Liens
  • Forums
  • Rédaction
  • 🎙️ Projets Libres

LinuxFr.org

Se connecter

Proposer un contenu

  • Pas de compte ? S’inscrire...

Re: Caml

Retourner au contenu associé (journal : Les ratés historiques de l'informatique française)

  • [^] # Re: Caml

    Posté par _seb_ le 17 septembre 2005 à 00:51. En réponse au journal Les ratés historiques de l'informatique française. Évalué à 3.

    Je suis à peu de chose près d'accord avec toi.

    D'après le site http://caml.inria.fr/index.fr.html(...)

    Caml est un langage de programmation généraliste, conçu pour garantir la sûreté et la fiabilité des programmes. Il est très expressif et néanmoins facile d'apprentissage et d'emploi. Caml se prête à la programmation dans un style fonctionnel, impératif ou orienté objets. Il est développé et distribué par l'INRIA depuis 1985.


    En 20 ans de développement, il y a très très peu d'application industrielle utilisant Caml (ou OCaml):
    - L’expérience démocratique ( http://www.demexp.org(...) ) dont la version 0.6 est sortie il y a quelques jours d'après le site officiel et plus d'un mois sur le site The Caml Hump !
    - Unisson ( http://www.cis.upenn.edu/~bcpierce/unison/(...) )
    - COQ ( http://coq.inria.fr/(...) ) et encore le cadre d'utilisation est très limité pour l'industrie actuelle
    - Cameleon ( http://pauillac.inria.fr/~guesdon/Tools/cameleon/cameleon.html(...) ) IDE pour Caml, pas de mise à jour depuis plus de 2 ans.

    C'est tout de même curieux que beaucoup de personnes trouvent Caml/OCaml fabuleux et que l'on trouve si peu d'application.

Revenir en haut de page

Derniers commentaires

  • Re: Trop politique
  • Re: Preuve empirique
  • Re: Preuve empirique
  • Re: Instruction à domicile
  • Re: Risque de dérives
  • Re: Excellent article
  • Re: Instruction à domicile
  • Re: Risque de dérives
  • 73 + 15 autres offres à ce jour:
  • Re: Risque de dérives
  • Re: Excellent article
  • Re: Instruction à domicile

Étiquettes (tags) populaires

  • intelligence_artificielle
  • le_monde_diplomatique
  • merdification
  • grands_modèles_de_langage
  • états-unis
  • capitalisme
  • canicule
  • datacenter
  • réchauffement_climatique
  • logiciel_libre
  • france
  • administration_française

Sites amis

  • Agenda du Libre
  • April
  • Éditions D-BookeR
  • Éditions Diamond
  • Éditions Eyrolles
  • Éditions ENI
  • En Vente Libre
  • Framasoft
  • La Quadrature du Net
  • Lea-Linux
  • Open Source Initiative
  • Imprimerie Grafik Plus

À propos de LinuxFr.org

  • Mentions légales
  • Faire un don
  • L’équipe de LinuxFr.org
  • Informations sur le site
  • Aide / Foire aux questions
  • Suivi des suggestions et bogues
  • Wiki du site
  • Règles de modération
  • Statistiques
  • API pour le développement
  • Code source du site
  • Plan du site

AltStyle によって変換されたページ (->オリジナル) /