A Simple Differentiable Programming Language