I think fiddling around with types is attractive to academic researchers because types are relatively easy to reason about mathematically. It's a lot easier to convince others (and possibly yourself) that you're "doing science" if your paper is full of math or math-like constructs.

The factors that make Python, Ruby, Javascript, etc. popular aren't nearly as amenable to formal mathematical analysis.