Functional Programming eXchange 2014 / A practical theory of language-integrated query

Please RSVP for instructions on how to join the event.

Description

How best to blend a domain-specific language into a host language? For the domain of databases, the old question of how to achieve language integrated query is receiving renewed attention, in part because of its support through Microsoft's LINQ framework. In this talk we present a practical theory of language-integrated query based on quotation and normalisation of quoted terms. Higher-order features prove useful even for constructing first-order queries. We prove a theorem characterising when a host query is guaranteed to generate a single SQL query, and we present experimental results confirming our technique works, even in situations where Microsoft's LINQ framework either fails to produce an SQL query or, in one case, produces an avalanche of SQL queries. Our ideas are implemented in F#, and the talk briefly considers how they might apply to other languages such as Scala and Haskell.

Outline

No outline is available

Content is not yet available

Philip Wadler (philip.wadler)

8.0k
Author

No biography is available.

For a complete view of this profile, including education, work experience and developer information, you need to be logged in and have a subscription.

Philip's upcoming trainings

No events

Philip's past online trainings

Philip's blog posts

IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper