From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1189BBBCA; Wed, 2 Apr 2008 19:23:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiIBAExe80eGnQCBm2dsb2JhbACRTwEBAQEJBQcJFJoy X-IronPort-AV: E=Sophos;i="4.25,594,1199660400"; d="scan'208";a="9114667" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP; 02 Apr 2008 19:23:16 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.2/jtpda-5.4) with ESMTP id m32HNEJ1063930 ; Wed, 2 Apr 2008 19:23:15 +0200 (CEST) X-Ids:168 Received: from magnesium.pps.jussieu.fr (balat@magnesium.pps.jussieu.fr [134.157.168.12]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id m32HNDbn028520 ; Wed, 2 Apr 2008 19:23:13 +0200 From: Vincent Balat Organization: Labo PPS - =?utf-8?q?Universit=C3=A9_Paris?= DIderot To: caml-list@yquem.inria.fr Subject: ANNOUNCE: Ocsigen 1.0.0 Date: Wed, 2 Apr 2008 19:29:03 +0200 User-Agent: KMail/1.9.7 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Message-Id: <200804021929.03490.balat@pps.jussieu.fr> X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.0 (shiva.jussieu.fr [134.157.0.168]); Wed, 02 Apr 2008 19:23:16 +0200 (CEST) X-Virus-Scanned: ClamAV 0.92/6557/Wed Apr 2 17:56:29 2008 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at jchkmail.jussieu.fr with ID 47F3C103.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 47F3C103.002/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 47F3C103.002 on jchkmail.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.034 -> S=0.034 X-j-chkmail-Status: Ham X-Spam: no; 0.00; ocaml:01 ocaml:01 high-level:01 statically:01 variants:01 ocamlduce:01 higher-level:01 vouillon:01 thorsten:01 ohl:01 phane:98 polymorphic:01 abstract:01 pps:01 pps:01 Hi, After more than 3 years of development, we are pleased to announce that=20 Ocsigen has now reached version 1.0.0! Ocsigen is a research project aimed at developing new programming technique= s=20 for the Web. It contains: - a fully featured Web server, with lots of extensions, - a programming framework, called Eliom, providing an innovative way to=20 create dynamic Websites in OCaml. The Web server has all the features required to be used as a replacement fo= r=20 Apache (or others). It is very easy to implement extensions to it in OCaml.= =20 Among the features that come with Ocsigen are: - a CGI module to use Web sites written as CGI scripts (for example trac o= n=20 ocsigen.org, or even PHP pages through CGI), - a reverse proxy module (with pipelined requests) to use Ocsigen together= =20 with another Web server, - a powerful, findlib-aware, configuration file with access control and=20 authentication, - a content deflation module - user configuration files (beta) Eliom is the most innovative part of the project. It is a programming=20 framework for dynamic Web programming in OCaml which introduces high-level= =20 concepts that make programming very concise and safe. The goal is to make=20 large pieces of code easy to maintain and evolve. For example: - it is possible to check statically the types of html fragments so as to= =20 guarantee the validity of pages (with respect to W3C recommendations). Type= =20 checking is done either using polymorphic variants or with OCamlDuce, - pages are generated by OCaml functions with an abstract notion=20 of "service". This ensures that there will be no broken links, and no wrong= =20 parameter names, - the full taxonomy of services closely matches the needs of Web developer= s, - it uses continuation-based Web programming for handling the "back button= ", - it provides a powerful session mechanism, - etc. Eliom is not a Content Management System, but is intended to be the basis f= or=20 such higher-level tools. Several projects have already been initiated by th= e=20 community, like Nurpawiki (by Janne Hellsten), Litiom and Lambdium (by Dari= o=20 Teixeira), or Ocsimore (by Piero Furiesi and Jaap Boender). We think that t= he=20 project is now mature enough for wider dissemination and we hope some of yo= u=20 will be interested in joining the community to develop new sites with Eliom! Version 1.0.0 is only the beginning of Ocsigen's story. We have many things= in=20 mind for the future. We have already been working, for the last few months,= =20 on a version 2 which will make it very easy to write Web sites that are=20 highly dynamic on both client and server side. Ocsigen is developed as a collaborative open source project. If you need an= y=20 features that are not implemented, please feel free to contribute! Ocsigen is a research project of the PPS laboratory (CNRS, universit=C3=A9= =20 Paris-Diderot). It is developed by Vincent Balat, J=C3=A9r=C3=B4me Vouillon= , Gabriel=20 Kerneis, St=C3=A9phane Glondu, Denis Berthod, Jaap Boender, Piero Furiesi,= =20 Thorsten Ohl, Nataliya Guts, J=C3=A9r=C3=B4me Velleine and Pierre Clairamba= ult. I=20 really want to thank all of them, and also the whole community of=20 beta-testers for their very interesting contributions. We hope that you'll enjoy this version, and we wish you happy programming w= ith=20 Eliom! Vincent Balat [for the Ocsigen team]