Comment by pshirshov

In my opinion these features (and powerful type systems in general) would be useful for any language regardless of the execution model.