I think the fact that Swift has first-class automatic differentiation is an even bigger deal than the fact that it is strongly-typed. Here is an interesting write-up about it...

https://gist.github.com/rxwei/30ba75ce092ab3b0dce4bde1fc2c9f...