Comprehensive comprehensions

Authors:
Simon Peyton Jones;Philip Wadler
Affiliations:
Microsoft Research, Cambridge, United Kingdom;University of Edinburgh, Edinburgh, United Kingdom
Venue:
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Year:
2007

Citing 6
Cited 15

Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Comprehension syntax

ACM SIGMOD Record
Domain specific embedded compilers

Proceedings of the 2nd conference on Domain-specific languages
Kleisli, a functional query system

Journal of Functional Programming
Extending XQuery for analytics

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
LINQ: reconciling object, relations and XML in the .NET framework

Proceedings of the 2006 ACM SIGMOD international conference on Management of data

Resource bound analysis for database queries

Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
FERRY: database-supported program execution

Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Generic multiset programming for language-integrated querying

Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Compiler plugins can handle nested languages: AST-level expansion of LINQ queries for java

ICOODB'09 Proceedings of the Second international conference on Object databases
Avalanche-safe LINQ compilation

Proceedings of the VLDB Endowment
Thirteen new players in the team: a FERRY-based LINQ to SQL provider

Proceedings of the VLDB Endowment
Maintaining database integrity with refinement types

Proceedings of the 25th European conference on Object-oriented programming
Extending monads with pattern matching

Proceedings of the 4th ACM symposium on Haskell
Bringing back monad comprehensions

Proceedings of the 4th ACM symposium on Haskell
Haskell boards the ferry: database-supported program execution for Haskell

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Generic multiset programming with discrimination-based joins and symbolic Cartesian products

Higher-Order and Symbolic Computation
Row-based effect types for database integration

TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
An optimization framework for map-reduce queries

Proceedings of the 15th International Conference on Extending Database Technology
A data flow language for hybrid query and programming languages

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Dynamic symbolic computation for domain-specific language implementation

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds expressive power to comprehensions, and generalises the SQL constructs that inspired it. It is easy to implement, using simple desugaring rules.