Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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: