JuliaDiff / JuliaDiff/DiffRules.jl

no type annotations

Open
#26 1 comment 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Julia
Stars
74
Forks
36
Avg merge
1d 1h
Merged PRs (30d)
1

Description

Note that differentiation rules are purely symbolic, so no type annotations should be used.

should some of the differentiation rules like (+)(a,b) -> (1, 1) use the one(a), function instead? Some types might deliberately not implement implicit integer conversion.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Review the differentiation rules that return literal integer tuples, such as (+)(a,b) -> (1, 1), and the issue's note about purely symbolic rules. Determine whether using one(a) is required to avoid implicit integer conversion, then resolve the design question and update the affected rules consistently.

Written by the indexing model from the issue text.

Assessment

Tech stack
julia
Domain
tooling
Issue type
Refactor
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.