Ci sono piani per supportare i "fornitori di tipi" per SIQ di Scala (ScalaintegratedQuery) come in F#?

Question

Lo stato attuale di SIQ era presentata di Christopher Vogt a Scaladays 2011. È stato mostrato come avrebbero funzionato le query, ma per quanto mi ricordo che non si potesse notare su come sarebbero stati rappresentati quei tipi, ad esempio se fosse ancora necessario scrivere il codice della placca per spiegare la struttura del database a Scala.

F# 3.0 aggiunge Digita fornitori (PDC Talk di Don Syme: video; Goto Copenhagen Talk di Tomas Petricek: video, Slide, post sul blog), che rendono sostanzialmente non necessario scrivere o generare mappature tra un DB (o un altro fornitore di dati) e il sistema di lingua/tipo, poiché la lingua può interrogare le informazioni strutturali dal database stesso direttamente con i fornitori di tipi.

ScalaintegratedQuery sarà in grado di fornire i tipi/relazioni di un database al compilatore Scala senza richiedere all'utente di scrivere da soli il codice della placca da caldaia?