Did you know dep. type languages can have

mutable arrays? I didn't until today:

http://cs.ru.nl/~wouters/Publications/MoreDepTypesForDistrArrays.pdf

No out of bounds exceptions, and you can prove shit like the idempotence of a swap operation repeated twice on the same pair of array elements. Good stuff.

>>8
It's not about better or worse now, it's about better or worse in the future. And if dependent types can tackle such a seemingly imperative thing as mutable arrays, they have a chance to become the better option all-around.