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.
Comments: On "An idiom's guide to formlets" (http://groups.inf.ed.ac.uk/links/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, http://www.brics.dk/~amoeller/papers/xmltypes/
Comments: On "An idiom's guide to formlets" (http://groups.inf.ed.ac.uk/links/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, http://www.brics.dk/~amoeller/papers/xmltypes/
