Comment by dgb23

> spec, which to date still has big issues and screams "just use a proper statically typed language"

I think this statement is unfair.

I don't think there is a widely used statically typed language that is nearly as expressive and simple as spec. Also the opt-in nature of it retains the advantages of dynamic typing.