Very cool, does it compose? Some statically typed languages allow you to build up composable query snippets along the lines of (from a Scala DSL): val acc

Very cool, does it compose? Some statically typed languages allow you to build up composable query snippets along the lines of (from a Scala DSL): val accountQ = for { (a, t) <- Account leftJoin Transaction (_.id is _.accountId) if a.id is ... && t.userId ... groupBy a.id } yield (a, t.id, t.amount.sum, ...) val invoiceQ = for { (a, transId, total) <- accountQ i <- Invoice join (_.transId is transId) } yield (a, i, total) Basically you can build up arbitrarily complex queries, all compile time checked -- it's really quite wonderful. Haskell has something similar with Esqueleto and C#/F# has LINQ to SQL. I love query DSLs, the more we move away from string-y SQL the better :)