3 ms·
The linked discussion is actually about performing calculus-like operations on type-theory types. (A natural next step after observing the similarities between
by cvoss 4y ago
The linked discussion is actually about performing calculus-like operations on type-theory types. (A natural next step after observing the similarities between algebraic types and algebra.) It's not about imposing a type system onto traditional calculus.
- nh23423fefe 4y agopolitest RTFA
- keithalewis 4y agoI had a different read on that but I am familiar with the link to Haskell zippers. People seem to assume if someone wrote something about Haskell they must be smart. Their "derivative" of trees implicitly assumes the cartesian product A x B is isomorphic to B x A. Just like the Frechet derivative for non-commutative Banach spaces, the derivative of T^2 is not 2 T dT, it is T dT + dT T.