Josh Soref
624a54b9cf
Spelling stdlib ( #42544 )
...
* spelling: abcdefghijklmnopqrstuvwxyz
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: clazz
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: collection
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: compressible
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: constituent
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: contiguous
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: convertibility
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: element
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: enforce
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: exhaustive
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: exhausts
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: existential
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: facilitate
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: ignored
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: incorporated
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: intersection
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: laziness
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: misaligned
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: overhaul
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: preamble
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: precondition
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: replacement
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: trailing
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: unambiguous
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: uncompressible
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
* spelling: world
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
Co-authored-by: Josh Soref <jsoref@users.noreply.github.com >
2022-04-22 19:18:38 -07:00
Slava Pestov
b57be6dbf1
Revert "AutoDiff: Disable requirement machine when building or testing Differentiation library"
...
This reverts commit 4f6ba29715
2021-09-23 13:24:40 -04:00
Slava Pestov
4f6ba29715
AutoDiff: Disable requirement machine when building or testing Differentiation library
...
The SIL type lowering logic for AutoDiff gets the substituted generic signature
mixed up with the invocation generic signature, so it tries to ask questions
about DependentMemberTypes in a signature with no requirements. This triggers
assertions when the requirement machine is enabled.
Disable the requirement machine until this is fixed.
2021-07-30 19:42:31 -04:00
Richard Wei
e9f82d138d
Conform 'AnyDifferentiable' and 'AnyDerivative' to 'CustomReflectable'.
...
'AnyDifferentiable' and 'AnyDerivative' should conform to 'CustomReflectable' to prevent leaking implementation details. The mirror should reflect its underlying value directly.
Resolves rdar://75496334.
2021-03-18 18:51:11 -07:00
Richard Wei
0b53a02544
[AutoDiff] Rename 'in:' to 'of:' in differential operators.
...
Rename the argument label `in:` in `gradient(at:in:)`, `pullback(at:in:)`, etc to `of:`, as suggested in the [pitch thread](https://forums.swift.org/t/differentiable-programming-for-gradient-based-machine-learning/42147 ).
2021-02-24 01:33:42 -05:00
Richard Wei
8bc6143a4c
[AutoDiff] Rename 'move(along:)' to 'move(by:)'.
...
Rename `move(along:)` to `move(by:)` based on the proposal feedback. The main argument for the change is that tangent vectors specify both a direction and a magnitude, whereas `along:` does not indicate that `self` is being moved by the specified magnitude.
2021-02-23 21:45:01 -05:00
Dan Zheng
3ef8360f3e
[AutoDiff] Add AnyDifferentiable. ( #30928 )
...
Add `AnyDifferentiable`, a type-erased wrapper for `Differentiable`-conforming types.
2020-04-09 22:49:55 -07:00
