Typableitung
Typableitung ist kein fest etablierter Fachausdruck der Mathematik, sondern ein Begriff, der gelegentlich verwendet wird, um eine Ableitung zu beschreiben, die in Abhängigkeit von Typparametern oder typbasierten Strukturen definiert wird. In der Praxis tauchen ähnliche Konzepte in der Theorie differenzierbarer Programmierung, in der Typentheorie und in der Kategorie-Theorie auf. Ziel ist es, zu modellieren, wie sich Werte einer Typfamilie oder von Typ-Parametern ändern, wenn sich der zugrunde liegende Typ oder Parameter verändert, oder wie sich Ausdrücke linear approximieren lassen.
In der formalen Theorie erscheint das Konzept oft durch differential lambda-calculus oder durch Tangentialkategorien. Im differential
In der Praxis findet man verwandte Ideen in differentiable programming und in automatisch-differentiation-Ansätzen, wo Typen und
Zusammenfassend dient Typableitung als Oberbegriff für Ansätze, bei denen Ableitungen oder lineare Approximationen in Typ- oder