Differentiable programming enables programs to optimize themselves and is a part of Facebook AI’s broader efforts to build additional advanced machine learning programming tools. Facebook AI is developing an automatic differentiation system for the Kotlin programming language.
The researchers have stated that this work will further explore Software 2.0, where software writes itself effectively. The developers are now allowed to create robust programs by enabling intuitive and performant differentiable programming in Kotlin. These programs are flexible, taking advantage of problem structure while maintaining type safety and keeping debugging simple.