mozilla/mentat

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

Open

#201 geöffnet am 25. Jan. 2017

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Rust (116 Forks)github user discovery
correctnessenhancementhelp wanted

Repository-Metriken

Stars
 (1.661 Stars)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Beginnen Sie mit der Untersuchung vorhandener Werttyp Implementierungen (z. B. :db.type/long, :db.type/string). Studieren Sie den Bootstrapper, das SQL Schema, die ValueType und TypedValue Enums sowie die SQL Konvertierungsfunktionen. Implementieren Sie jeweils einen neuen Typ in separaten Pull Requests, beginnend mit dem einfachsten (z. B. :db.type/uri).
Tech Stack
rustsql
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
RustSQLDatalog
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40