What do people think of automatic differentiation support facebook was trying for Kotlin.

They called it differentiable programming https://ai.facebook.com/blog/paving-the-way-for-software-20-...