|
|
|
|
|
|
by Turing_Machine
3522 days ago
|
|
|
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. |
|
|