dependent types - Githubissues

juspay / medea

A JSON schema language

MIT License

26 stars 4 forks source link

Open Benjmhart opened 3 years ago

Benjmhart commented 3 years ago

After working with Medea, we find that we cannot express the following usecase:

IF tag = "OrderAddress" THEN dbObject must use a single specified schema (out of 9 possible types)

kozross commented 3 years ago

That's definitely dependent types territory, which Medea isn't powerful enough to express (yet). Good feature though!