The Script-Writer's Dream:How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed

摘要

We show how to translate expressions in a higher-order programming language into SQL queries. Somewhat surprisingly, we show that any suitable expression translates to a single SQL query, where the suitability is determined by a type-and-effect check. Thus, unlike in Hollywood where a script-writer can never be sure a movie sequel will be popular, we show how to be sure that your SQL-written in your own language-will succeed (in being translated).