News for hackers. Stuff that matters.

A comment on Second-Order Thinking. Parent comment

Re:Second-Order Thinking by thrown_22 on Monday August 15, 2022 @07:39AM (#32468386)
Higher order functions have nothing to do with derivatives however.
[ Parent | on HN ]
Re:Second-Order Thinking by earleybird on Monday August 15, 2022 @01:24PM (#32472555)
However, regular types do: "The Derivative of a Regular Type is its Type of One-Hole Contexts"

[0] http://strictlypositive.org/diff.pdf

[ Parent | on HN ]