Gradual Typing

[GavinMendelGleason]

We would like to radically lower the bar to entry to TerminusDB from other data sources so that people can get the benefits of revision control, schema control and automatic GraphQL interface.

In order to do this we would like to have a gradual typing path which allows users to take existing data, import it directly and then slowly impose additional structure, finally leading to a well typed world.

Ultimately we would like to support easy import from the following source/schema pairs: MongoDB / JSON-Schema, JSON-LD / SHACL, SQL / SQL Schema.

The Roadmap for this development requires the following development steps:

• BSON data storage
• BSON import / export
• IRI naming scope, enabling flexible naming schemes attached to
• Collections which allow tracking of sets of objects
• Structural typing scheme kernel language, giving a fully gradual method of typing BSON, JSON or JSON-LD
  • Compiler for TerminusDB classes to the kernel language
  • Compiler for kernel language to a query which retrieves structurally typed objects
  • Compiler for JSON-Schema to the kernel language