Switch to speaker view

Or use left cursor

Switch to presentation view

Or use right cursor
Supported by
Australia lives here.

You need to update your browser

These modern browsers have better performance and support the latest web technologies.

Sorry, Eventer doesn't work quite right on your device.

Right now, Eventer can be viewed on your desktop computer and any Apple mobile device with iOS 7 or later. We're hard at work on supporting other platforms.

00:00:00 / 00:00:00

How Best to Blend a Domain-Specific Language into a Host Language?

  • Phillip Wadler
  • 00:48:45

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. 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.

Having trouble viewing the talks? Please let us know.

Or, help us improve by telling us what you think.