Skip to content

Add an arityUpper field on arbitrary #5191

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
dubzzz opened this issue Aug 7, 2024 · 3 comments
Open

Add an arityUpper field on arbitrary #5191

dubzzz opened this issue Aug 7, 2024 · 3 comments
Labels
💡 Idea to investigate Non straightforward features that seems great but need to be assessed and designed carefully.

Comments

@dubzzz
Copy link
Owner

dubzzz commented Aug 7, 2024

💡 Idea

Today when asking for arrays of constantFrom users have to think about passing a maxLength for an optimal throughput.

By adding an optional field to give more details on the number of values that could possibly output an arbitrary we would make it feasible for arrays to cap themselves without any need from the user.

We discuss of upper as filtering, mapping can possibly reduce the arity in an unknown fashion.

@dubzzz
Copy link
Owner Author

dubzzz commented Aug 7, 2024

⚠️ constant of clone able should probably count for infinity

@dubzzz dubzzz added 💡 Idea 💡 Idea to investigate Non straightforward features that seems great but need to be assessed and designed carefully. labels Aug 11, 2024
@dubzzz dubzzz changed the title Add an arityUpper on arbitrary Add an arityUpper field on arbitrary Aug 27, 2024
@dubzzz
Copy link
Owner Author

dubzzz commented Mar 1, 2025

I'm wondering if it would not be helpful for #5562. Indeed for regexes knowing the arity of some chunk could help us into accurately constraining variable ones. But maybe we don't need arity and just a more localized thing for this regex thing 🤔

@dubzzz dubzzz removed the 💡 Idea label Mar 1, 2025
Copy link

stale bot commented Apr 30, 2025

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the stale label Apr 30, 2025
@dubzzz dubzzz removed the stale label May 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
💡 Idea to investigate Non straightforward features that seems great but need to be assessed and designed carefully.
Projects
None yet
Development

No branches or pull requests

1 participant