- package:inf-backprop

Subtraction differentiable binary operation.

Examples of usage

>>> import Prelude (Float)

>>> import InfBackprop (call, derivative)

>>> call (-) (5, 3) :: Float
2.0

>>> import Debug.SimpleExpr.Expr (variable)

>>> x = variable "x"

>>> y = variable "y"

>>> derivative (-) (x, y)
(1,-(1))

Automatic differentiation and backpropagation. Automatic differentiation and backpropagation. We do not attract gradient tape. Instead, the differentiation operator is defined directly as a map between differentiable function objects. Such functions are to be combined in arrow style using (>>>), (***), first, etc. The original purpose of the package is an automatic backpropagation differentiation component for a functional type-dependent library for deep machine learning. See tutorial details.