News for hackers. Stuff that matters.
Re:Abusing the algebra of algebraic data types – why does th... by bee_rider on Monday October 10, 2022 @11:11AM (#33152356)
The issues you bring up aren't really like types, though. Expecting every domain of math to use the same notation and is more like expecting every programming language to use the same syntax.

Derivatives are a bit of a weird case because some really intuitive and useful sub-domains only really need the 1-2 derivatives in time. So, hitting them with the whole (dy/dx)^(N) is overkill.

There are no comments on this comment yet.