dependent types
Open
enhancement
- Dominant language
- Haskell
- Stars
- 28
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
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)
Contributor guide
Research direction
No files, tests, or entry points are named in the issue. Clarify the dependent-type syntax and expected behavior for the OrderAddress case before locating the schema-validation implementation; done means a schema can restrict dbObject to the selected type when tag is OrderAddress.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100