Please log in to watch this conference skillscast.
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. 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.
YOU MAY ALSO LIKE:
- Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)
- Functional Concurrency in .NET with C# and F# with Riccardo Terrell (Online Course on 7th - 10th December 2021)
- ScalaCon 2021: November Edition (Online Conference on 2nd - 5th November 2021)
- Haskell eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Accessibility Testing: Why and How to involve People with Disabilities (Online Meetup on 28th October 2021)
- Don Syme: What’s new in F# 5.0 and 6.0? (in London on 17th November 2021)
- Using F# to Structure an Island of Simplicity (SkillsCast recorded in October 2021)
- Adopting F# on a Consultancy Project: From Zero to MVP to V0 Launch (SkillsCast recorded in October 2021)
A practical theory of language-integrated query
Philip Wadler has contributed to the designs of Haskell, Java, and XQuery, and is a co-author of XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O'Reilly, 2006).