Mercurial > urweb
comparison doc/manual.tex @ 1333:dab85a49e0ab
Warn about XHTML looseness
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 11 Dec 2010 19:57:22 -0500 |
| parents | 4dd5d23bace2 |
| children | 79557535b843 |
comparison
equal
deleted
inserted
replaced
| 1332:4dd5d23bace2 | 1333:dab85a49e0ab |
|---|---|
| 1817 \end{array}$$ | 1817 \end{array}$$ |
| 1818 | 1818 |
| 1819 | 1819 |
| 1820 \subsection{XML} | 1820 \subsection{XML} |
| 1821 | 1821 |
| 1822 Ur/Web's library contains an encoding of XML syntax and semantic constraints. We make no effort to follow the standards governing XML schemas. Rather, XML fragments are viewed more as values of ML datatypes, and we only track which tags are allowed inside which other tags. | 1822 Ur/Web's library contains an encoding of XML syntax and semantic constraints. We make no effort to follow the standards governing XML schemas. Rather, XML fragments are viewed more as values of ML datatypes, and we only track which tags are allowed inside which other tags. The Ur/Web standard library encodes a very loose version of XHTML, where it is very easy to produce documents which are invalid XHTML, but which still display properly in all major browsers. The main purposes of the invariants that are enforced are first, to provide some documentation about the places where it would make sense to insert XML fragments; and second, to rule out code injection attacks and other abstraction violations related to HTML syntax. |
| 1823 | 1823 |
| 1824 The basic XML type family has arguments respectively indicating the \emph{context} of a fragment, the fields that the fragment expects to be bound on entry (and their types), and the fields that the fragment will bind (and their types). Contexts are a record-based ``poor man's subtyping'' encoding, with each possible set of valid tags corresponding to a different context record. The arguments dealing with field binding are only relevant to HTML forms. | 1824 The basic XML type family has arguments respectively indicating the \emph{context} of a fragment, the fields that the fragment expects to be bound on entry (and their types), and the fields that the fragment will bind (and their types). Contexts are a record-based ``poor man's subtyping'' encoding, with each possible set of valid tags corresponding to a different context record. The arguments dealing with field binding are only relevant to HTML forms. |
| 1825 $$\begin{array}{l} | 1825 $$\begin{array}{l} |
| 1826 \mt{con} \; \mt{xml} :: \{\mt{Unit}\} \to \{\mt{Type}\} \to \{\mt{Type}\} \to \mt{Type} | 1826 \mt{con} \; \mt{xml} :: \{\mt{Unit}\} \to \{\mt{Type}\} \to \{\mt{Type}\} \to \mt{Type} |
| 1827 \end{array}$$ | 1827 \end{array}$$ |