mozilla/mentat

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

Open

#201 aperta il 25 gen 2017

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Rust (116 fork)github user discovery
correctnessenhancementhelp wanted

Metriche repository

Star
 (1661 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Inizia esaminando le implementazioni esistenti dei tipi di valore (es. :db.type/long, :db.type/string). Studia il bootstrapper, lo schema SQL, le enum ValueType e TypedValue, e le funzioni di conversione SQL. Implementa un nuovo tipo alla volta in pull request separate, iniziando dal più semplice (es. :db.type/uri).
Tech stack
rustsql
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RustSQLDatalog
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40