This project is read-only.

(X)HTML expert system


A goal is to make it impossible to create invalid markup with Wing Beats. Find ways of making this a reality. Ideally intellisense also should provide helpful information about different (X)HTML elements.


Jonsi wrote Feb 14, 2010 at 8:29 PM

  • I think every XhtmlElement method should have a good description available via intellisense.
  • Some way we should statically check if an attribute is valid for an element or not.
  • There should be functionality for validating the output.

mausch wrote Sep 2, 2010 at 12:12 AM

for reference, a discussion posted by Jonsi on statically checking XHTML as in Ocsigen's XHTML.M:

mausch wrote Oct 30, 2010 at 9:30 PM

On "An idiom's guide to formlets" ( Wadler et al claim "Though well studied (*), static validity checking for XML is not a clear win. It can lead to large types, for instance, and handling polymorphism is challenging."

(*) The Design Space of Type Checkers for XML Transformation Languages, Anders Møller and Michael I. Schwartzbach,