Skip to content
This repository has been archived by the owner on Mar 13, 2024. It is now read-only.

Back tags #40

Open
Cypher1 opened this issue Mar 14, 2022 · 0 comments
Open

Back tags #40

Cypher1 opened this issue Mar 14, 2022 · 0 comments
Labels
Expressivity Related to expressivity good first issue Good for newcomers Ibis Related to Ibis

Comments

@Cypher1
Copy link
Contributor

Cypher1 commented Mar 14, 2022

Current State

All tags are propagated 'downstream' (i.e. from input to output). This seems likely to be an unnecessary restriction and may not model all use cases.

Future work

Explore use cases for 'back tags' (i.e. tags that propagated from output to input) and implement them.
Possible use cases:

  • propagating requirements via checks
  • propagating authenticity requirements (e.g. requirements that data be associated with a user action)
@Cypher1 Cypher1 added Expressivity Related to expressivity good first issue Good for newcomers Ibis Related to Ibis labels Mar 14, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Expressivity Related to expressivity good first issue Good for newcomers Ibis Related to Ibis
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Cypher1