. . . "Ocsigen"@fr . . "4249"^^ . . "Ocsigen est un outil de d\u00E9veloppement web et mobile, d\u00E9velopp\u00E9 par le laboratoire fran\u00E7ais IRIF et par la soci\u00E9t\u00E9 Be Sport SAS, utilisant des solutions nouvelles issues de la recherche sur les langages de programmation. Il se compose : \n* d'un compilateur du langage OCaml vers le langage Javascript, js_of_ocaml. Il permet d'ex\u00E9cuter dans un navigateur des programmes \u00E9crits en OCaml, de mani\u00E8re portable et sans rien devoir installer. Le compilateur prend comme langage source le bytecode OCaml, c'est-\u00E0-dire un programme OCaml d\u00E9j\u00E0 compil\u00E9. Cette technique rend l'utilisation du compilateur tr\u00E8s simple, et permet m\u00EAme d'utiliser des biblioth\u00E8ques dont le code source n'est pas disponible. \n* d'une extension multi-tiers du langage OCaml, qui permet de programmer une application client-serveur comme un seul programme avec des annotations. \n* d'un module appel\u00E9 Eliom pour \u00E9crire des applications Web client/serveur (ou serveur seulement) en utilisant des concepts de haut niveau. Le but est de programmer en tr\u00E8s peu de lignes des comportements complexes, et d'assurer une garantie de bon fonctionnement gr\u00E2ce au typage statique. En particulier, on peut choisir un mode de validation statique des pages qui rend quasiment impossible la g\u00E9n\u00E9ration de pages qui ne respectent pas les recommandations du W3C. Ceci est obtenu en exploitant de mani\u00E8re pouss\u00E9e le puissant syst\u00E8me de types du langage OCaml. L'ensemble de l'application est \u00E9crite en OCaml, et certaines parties sont compil\u00E9es vers Javascript pour \u00EAtre ex\u00E9cut\u00E9es dans un navigateur. Eliom prend en charge automatiquement la communication entre le serveur et le client. Le programme client peut utiliser des valeurs d\u00E9finies sur le serveur et l'\u00E9change est facilit\u00E9 par le fait que les deux utilisent le m\u00EAme langage, et donc les m\u00EAmes types de donn\u00E9es. \n* d'une biblioth\u00E8que de threads coop\u00E9ratifs lwt, qui permet de programmer des comportements concurrents avec peu de risques de blocage ou d'acc\u00E8s concurrents \u00E0 la m\u00E9moire partag\u00E9e (coop\u00E9ration entre les threads \u00E0 des endroits bien identifi\u00E9s). Elle utilise un style monadique, ce qui rend son utilisation assez transparente. \n* d'un serveur web complet et extensible. Il est dot\u00E9 de la plupart des fonctionnalit\u00E9s utiles, notamment un module pour ex\u00E9cuter des CGI, un reverse proxy (qui rend possible l'utilisation en tandem avec un autre serveur web), la compression des donn\u00E9es, le contr\u00F4le d'acc\u00E8s... Il est tr\u00E8s facile de l'\u00E9tendre en cr\u00E9ant des modules en OCaml. Ocsigen est utilis\u00E9 comme plateforme par le r\u00E9seau social Be Sport et pour plusieurs projets de syst\u00E8mes de gestion de contenu, comme Lambdium ou Nurpawiki. Le compilateur Ocsigen Js_of_ocaml est utilis\u00E9 par de nombreux projets, dont le compilateur Hack de Facebook. Parmi les auteurs d'Ocsigen figurent plusieurs chercheurs en informatique qui utilisent le projet comme base d'exp\u00E9rimentation pour leur recherche. Le nom Ocsigen est un homophone de l'\u00E9l\u00E9ment chimique oxyg\u00E8ne ; de m\u00EAme, le module Eliom est un homophone de l'\u00E9l\u00E9ment h\u00E9lium."@fr . . . . . . . . . . . . . . . . . . . . . "Ocsigen with shadow.png"@fr . . . . . . . "Ocsigen"@fr . . . . "Ocsigen"@fr . . . . . . . . . . . . . . . . . . . "185768636"^^ . "2919649"^^ . . . . "Ocsigen est un outil de d\u00E9veloppement web et mobile, d\u00E9velopp\u00E9 par le laboratoire fran\u00E7ais IRIF et par la soci\u00E9t\u00E9 Be Sport SAS, utilisant des solutions nouvelles issues de la recherche sur les langages de programmation. Il se compose : Ocsigen est utilis\u00E9 comme plateforme par le r\u00E9seau social Be Sport et pour plusieurs projets de syst\u00E8mes de gestion de contenu, comme Lambdium ou Nurpawiki. Le compilateur Ocsigen Js_of_ocaml est utilis\u00E9 par de nombreux projets, dont le compilateur Hack de Facebook."@fr . "Ocsigen"@en . . . . . . . . . ""@fr .