Flag to disallow functions without higher order derivatives
Nobody has claimed this yet.
- Dominant language
- OCaml
- Stars
- 160
- Forks
- 59
- Avg merge
- 21h 45m
- Merged PRs (30d)
- 26
Description
Since #1513 we have some machinery for checking this, but only when used inside the embedded laplace functions. There are some modes of e.g. https://github.com/roualdes/bridgestan or cmdstanr that would like to be able to check this compatibility for the entire likelihood, so it would be nice to let them opt into it.
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
Read the machinery introduced in #1513 and the embedded Laplace functions where the current check is used. Trace how an option or flag reaches whole-likelihood processing, then define done as allowing callers such as BridgeStan or cmdstanr to enable the compatibility check for the entire likelihood. No specific files or tests are named in the issue.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ocaml
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100