search

arcalot / arcaflow-expressions

Expressions language for Arcaflow
Apache License 2.0
0 stars 0 forks source link

Reverse type inference #11

Closed janosdebugs closed 1 year ago

janosdebugs commented 1 year ago

Changes introduced with this PR

This PR contains the basics of reverse type inference needed for speculatively constructing an input schema. I will not merge this before I leave, but it should help when building this feature in the future.

By contributing to this repository, I agree to the contribution guidelines.

janosdebugs commented 1 year ago

@jaredoconnell I'm closing this but leaving the branch for future reference.

jaredoconnell commented 1 year ago

This is intended to take a data structure, and evaluate all items that go to that structure. Then reverse figure out what type needs to be there to produce the desired output type.

It is possible that this won't work. It should work, but the inferred type may be too broad to be of any use. Evaluate whether it's worth it.