Question

我不确定如何将这个问题用于有用的Google搜索，所以我希望你们可以帮助我。我正在使用OCaml Sqlite3库。它具有用户定义的数据类型，类似于

module Data = struct
  type t =
    | NONE
    | NULL
    | INT of int64
    | FLOAT of float
    | TEXT of string
    | BLOB of string

我正在尝试按照教程：

http://www.mega-nerd.com/erikd/Blog/CodeHacking/Ocaml/snip_sqlite.html。具体来说，我尝试运行函数

let create_tables db =
      (* Create two tables in the database. *)
      let tables =
      [    "people", "pkey INTEGER PRIMARY KEY, first TEXT, last TEXT, age INTEGER" ;
      "cars", "pkey INTEGER PRIMARY KEY, make TEXT, model TEXT" ;
      ]
  in
  let make_table (name, layout) =
      let stmt = Printf.sprintf "CREATE TABLE %s (%s);" name layout in
      match Sqlite3.exec db stmt with
      |    Sqlite3.Rc.OK -> Printf.printf "Table '%s' created.\n" name
      |    x -> raise (E (Sqlite3.Rc.to_string x))
  in
  List.iter make_table tables

我遇到的问题是当我尝试在utop中使用该文件时，我得到了

Error: This expression has type string * string but an expression was expected of type Data.t * Data.t. Type string is not compatible with type Data.t

哪个没有意义，因为字符串应该被强制转换为Data.t，不应该吗？我在这里不理解什么？

谢谢！

编辑：似乎解决这个问题的方法是

Data.TEXT "my text query stuff here"

这看起来很难看。创建这些明确的列表看起来像

let tables =
      [ Data.TEXT "people", Data.TEXT "pkey INTEGER PRIMARY KEY, first TEXT, last TEXT, age INTEGER" ;
      Data.TEXT "cars", Data.TEXT "pkey INTEGER PRIMARY KEY, make TEXT, model TEXT" ;
      ]

有没有更惯用的方法来解决这个问题？

Answer 1

您可以从成对的字符串到Data.t：

对定义自己的转换函数

let todt (a, b) = (Data.TEXT a, Data.TEXT b)

然后你可以说

List.map todt tables

（使用表的原始定义作为字符串对的列表。）

与原始类型不兼容的类型类

1 个答案: