mozilla/mentat

[meta] Full Datalog type support (instants, UUIDs, URIs)

開放

#201 建立於 2017年1月25日

 (2 則留言) (0 個反應) (0 位負責人)Rust (116 個分叉)github user discovery
correctnessenhancementhelp wanted

倉庫指標

星標
 (1,661 顆星)
PR 合併指標
 (30 天內沒有已合併 PR)

描述

Over in #170, I simplified things by not including placeholders for Mentat value types I wasn't going to support at the start: :db.type/instant, :db.type/uuid, and :db.type/uri. (We might consider supporting JSON and a binary blob type like :db.type/bytes as well.)

This ticket tracks supporting these types. Off the top, this will mean:

  1. Adding new DB_TYPE_* values to the bootstrapper;
  2. Bumping the SQL schema to accommodate the new idents;
  3. Adding new ValueType cases;
  4. Adding corresponding TypedValue cases;
  5. Implementing the conversions to and from SQL;
  6. testing the new types in the transactor and potentially in the query engine as well.

貢獻者指南