Differentiable Programming for Image Processing and Deep Learning in Halide

I don't understand differentiable programming. If conditions and while loops, they are not differentiable, right?

How to handle those?