Subject: Staged programming [WAS: Allyn Dimock: [Pl-seminar] Benjamin Pierce talk at Harvard: April 19, 10:00AM]
From: Johan Ovlinger (johan@ccs.neu.edu)
Date: Wed Apr 03 2002 - 14:54:43 EST
The following paragraph jumped out at me:
The recent rush to adopt XML can be attributed in part to the hope
that the static typing provided by DTDs (or more sophisticated
mechanisms such as XML-Schema) will improve the robustness of data
exchange and processing. However, although XML _documents_ can be
checked for conformance with DTDs, current XML processing languages
offer no way of verifying that _programs_ operating on XML structures
will always produce conforming outputs.
It seems to me that this is an excersize in staged programming. Staged
programming allows us to write well typed programs that write well
typed programs. Here we have well typed programs that want to write
well typed documents. The twist is that the documents are parametrised
by their typing scheme (the DTDs).
Just a thought. I don't know enough about XML (or staged programming)
to judge wether I'm just making this up as I go along or actually have
a point here.
This archive was generated by hypermail 2b28 : Wed Apr 03 2002 - 14:54:45 EST