> Haskell for example doesn’t support gradual typing Sure it does. It’s possible to gradually make the contracts of your Haskell functions more precise by more

> Haskell for example doesn’t support gradual typing Sure it does. It’s possible to gradually make the contracts of your Haskell functions more precise by more finely specifying the behaviour in their types. I think what you mean, though, is that the lower end of the well-typed spectrum is much higher than most dynamic language users would be comfortable with. This is true in practice, but in principle there’s no reason everyone couldn’t just use Dynamic everywhere. It just turns out that’s not particularly useful.