Date: November 4
Room: Transitorium I, Room C
Speaker: Erik Meijer
Title: Programming with Rectangles, Triangles, and Circles
We will argue that by properly generalizing the type system and
expression syntax, it is possible for any modern object oriented language to provide first class support for manipulating both relational
and hierarchical data in a sound and statically typed manner. The type system extensions, however, are not based on XML Schemas. We show that XSDs and the XML data model do not fit well with the class-based nominal type system and object graph representation of our target languages.Instead we propose to extend object-oriented type system with new structural types that model XSD sequences, choices, and all-groups. We demonstrate our language and type system by translating a selection of the XQuery use cases.