From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id DAA17942; Wed, 30 Apr 2003 03:20:44 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA17179 for ; Wed, 30 Apr 2003 03:20:43 +0200 (MET DST) Received: from wptx49.physik.uni-wuerzburg.de (wptx49.physik.uni-wuerzburg.de [132.187.40.49]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h3U1KgH11386 for ; Wed, 30 Apr 2003 03:20:42 +0200 (MET DST) Received: from wptx47.physik.uni-wuerzburg.de (wptx47.physik.uni-wuerzburg.de [132.187.40.47]) by wptx49.physik.uni-wuerzburg.de (8.11.7/8.11.7) with ESMTP id h3U1KfE00173; Wed, 30 Apr 2003 03:20:41 +0200 (METDST) Received: (from ohl@localhost) by wptx47.physik.uni-wuerzburg.de (8.11.6/8.11.6) id h3U1KfL25181; Wed, 30 Apr 2003 03:20:41 +0200 Date: Wed, 30 Apr 2003 03:20:41 +0200 Message-Id: <200304300120.h3U1KfL25181@wptx47.physik.uni-wuerzburg.de> From: Thorsten Ohl To: caml-list@inria.fr Subject: [Caml-list] Dynamic HTML: DTD validation with phantom types Reply-to: ohl@physik.uni-wuerzburg.de X-Spam: no; 0.00; thorsten:01 ohl:01 physik:01 dynamically:01 hacks:01 camlp:01 -thorsten:01 wuerzburg:01 phantom:01 trivial:01 typechecker:02 pgp:02 parser:02 modules:02 o'caml:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk The source code and a trivial example are currently the only documentation, but some people might find http://theorie.physik.uni-wuerzburg.de/~ohl/xhtml/ useful anyway. In short, it is a translation of most XHTML 1.1 modules into a set of phantom types that allow the O'Caml typechecker to validate dynamically generated HTML pages. This is nothing spectacular, but might inspire somebody to create _really_ cool hacks: 1) Since I just did a straightforward manual translation of the DTD, an automatic translator is possible. 2) Camlp4 hacks could be very neat ... 3) ... perhaps including even a DTD parser! Enjoy, -Thorsten -- Thorsten Ohl, Physics Dept., Wuerzburg Univ. -- ohl@physik.uni-wuerzburg.de http://theorie.physik.uni-wuerzburg.de/~ohl/ [<=== PGP public key here] ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners