My understanding is that it's the expressiveness and the type safety along with being functional and immutable (by default) in order to ensure correct programs

My understanding is that it's the expressiveness and the type safety along with being functional and immutable (by default) in order to ensure correct programs are being written (which is obviously a concern when lots of money is moving about.)