Authors:
Paul G. Talaga
and
Steve J. Chapin
Affiliation:
Syracuse University, United States
Keyword(s):
W3C compliance, Web development, Haskell.
Related
Ontology
Subjects/Areas/Topics:
Internet Technology
;
Network Systems, Proxies and Servers
;
Social and Legal Issues
;
Society, e-Business and e-Government
;
System Integration
;
Web Information Systems and Technologies
;
Web Security and Privacy
;
Web Services and Web Engineering
Abstract:
We report on the embedding of a domain specific language, (X)HTML, into Haskell and demonstrate how this superficial context-free language can be represented and rendered to guarantee World Wide Web Consortium (W3C) compliance. Compliance of web content is important for the health of the Internet, accessibility, visibility, and reliable search. While tools exist to verify web content is compliant according to the W3C, few systems guarantee that all dynamically produced content is compliant. We present CH-(X)HTML, a library for generating compliant (X)HTML content for all dynamic content by using Haskell to encode the non-trivial syntax of (X)HTML set forth by theW3C. Any compliant document can be represented with this library, while a compilation or run-time error will occur if non-compliant markup is attempted. To demonstrate our library we present examples and performance measurements.