Programming With Rectangles Triangles And Circles

Date: November 4

Time: 10.30-11.30am

Room: Transitorium I, Room C

Speaker: Erik Meijer

Title: Programming with Rectangles, Triangles, and Circles

Abstract

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.