TODO

   1 * write tutorial (for all languages), start documentation
   2 * native-type annotations in queries
   3 * output params syntax for different DB
   4 * guarantee correct duplicate params usage
   5 * allow to parametrize SQL syntax itself (ORDER BY ASC|DESC) : unsafe and enumeration
   6 * camlp4 syntax extension for inline sql
   7 * allow to tolerate errors in query
   8 * detect single-row queries (COUNT(*) without GROUP BY (done), LIMIT 1 (done), SELECT and UNIQUE INDEX, SELECT constant)
   9 * support BULK INSERTs (how?)
  10 * decide what to do with unquoted identifiers matching keywords
  11 * provide ways to extend lexer with tokens in runtime
  12 * choose better names for some common cases (WHERE id = ? etc)
  13 * fix line numbers in error output
  14 * enhance error reporting
  15 * calculate types more precisely, type-inferrer is too primitive
  16 * verify that each parameter gets one type inferred
  17 * track NULLs
  18 * detect statements on single tables and group the corresponding generated code together
  19 * use prepared statements in all traits
  20 * check function names for uniqueness
  21 * support/test other SQL engines
  22 * generate code for more languages
  23 * read SQL spec
  24 * distinguish predicates and expressions
  25 * type check expressions