2
¿Existe un tipo no trivial que sea igual a su propia derivada?
Un artículo llamado La derivada de un tipo regular es su tipo de contextos de un agujero muestra que la "cremallera" de un tipo, sus contextos de un agujero, siguen las reglas de diferenciación en álgebra de tipos. Tenemos: ∂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 &\mapsto 0 \\ …