2
Esiste un tipo non banale che è uguale alla sua derivata?
Un articolo chiamato The Derivative of a Regular Type è il suo tipo di contesti a un foro mostra che la "cerniera" di un tipo - i suoi contesti a un foro - segue le regole di differenziazione nell'algebra di tipo. Abbiamo: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 …