https://ai.facebook.com/blog/paving-the-way-for-software-20-with-kotlin/ Facebook forked Kotlin to write a fully differentiable programming language. Similar to Google's Swift 4 Tensorflow effort.

The syntax is chunky as heck, but there are some significant quality-of-life improvements there—named tensor dimensions being my favorite by far. Gimme gimme!