[Haskell-cafe] Subject: A universal data store interface

[Deian Stefan]

On Mon, Feb 13, 2012 at 11:52, Greg Weber <greg at gregweber.info> wrote:
> That being said, I would like to have a Template Haskell interface
> instead of just a QQ interface. The reason why we haven't bothered
> with doing that ourselves is because the record name-spacing issue
> makes the current QQ interface much more convenient. I am actively
> working to solve the namespace issue. This all brings up a great point
> though: as part of the GSoC we should create a Template Haskell
> interface (similar to acid-state as you mention). Given the structure
> of things that Michael has already pointed out, and that we are
> already using Template Haskell with the DSL, this should only be a few
> day's work.

I'm joining this thread slightly late, but thought I point to a
similar TH approach:

http://hackage.haskell.org/package/structured-mongoDB

The implementation is very much MongoDB-specific, but we're working on
targeting different backends (package is on github, so we welcome other
hackers).  Of course, some of the issues that have been
brought up (e.g., no support for projection) still exist in
structured-mongoDB, but our goals have been more relaxed:
1) provide a type-safe interface to MongoDB, 2) to avoid QQ DSL
approach if possible, and 3) support a HaskellDB-like query interface.