Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Dynamic HTML: DTD validation with phantom types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-04-30 (01:20)
From: Thorsten Ohl <ohl@p...>
Subject: [Caml-list] Dynamic HTML: DTD validation with phantom types
The source code and a trivial example are currently the only
documentation, but some people might find

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!

Thorsten Ohl, Physics Dept., Wuerzburg Univ. --     [<=== PGP public key here]

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: