Typechecker: Allow predicate-based typechecking of library functions
Open
Nobody has claimed this yet.
- Dominant language
- OCaml
- Stars
- 160
- Forks
- 59
- Avg merge
- 21h 45m
- Merged PRs (30d)
- 26
Description
This would allow Array functions to be able to accept arrays of tuples,
e.g. size
And also allow vectorization of things like a 7-parameter function, which would currently be too expensive to enumerate
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by tracing the typechecker’s handling of library functions, especially Array functions, and review the linked discussion about vectorizing a seven-parameter function. The work is done when predicate-based checking supports arrays of tuples such as the size example and enables the described vectorization without enumerating all parameter combinations.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ocaml
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100