juspay/medea

dependent types

Benjmhart opened this issue · 1 comments

Benjmhart commented

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

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