[scroy]

Why is it popular in banking?

[mijoharas]

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.)