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.

Some numbers:

Boston Haskell has swelled by a factor of 3x in the last year or so.

The #haskell channel is over 10x the size it was when I joined the community.

I routinely run into new faces and collaborators.

I'm interacting with ~350-400 collaborators nowadays across all of my projects.

You have folks in the game industry sniffing around about using it since Carmack's QuakeCon keynote.

Even a little niche channel like #haskell-lens has 130 users in it.

Haskell seems very very far from dying to me.