JuliaDiff / JuliaDiff/Diffractor.jl
Teach Forward Mode about Effects and Zeros
Nobody has claimed this yet.
- Dominant language
- Julia
- Stars
- 453
- Forks
- 33
- PR merge metrics
- No merged PRs in 30d
Description
In forwards mode, if you can prove code is effect free, then it is safe to not execute it if you are just pushing forward zeros & you don't need the primal result.
There might be some other things we can do with effects here too.
Probably worth cross-referencing what is happening in Dex-land with effects.
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
No files, tests, or entry points are named. Start by locating the forward-mode implementation and the effect analysis, then compare the relevant behavior with Dex as suggested. Done would require a defined and tested behavior for forwarding zeros through effect-free code without executing unnecessary primal work.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- julia
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100