Well, in some sense many languages already have gradual typing, it's just not very ergonomic.
To give an example from Haskell:
You can stick everything into IO, or you can be more careful with your effects.
Or to give a more main stream example:
Even in a language like Go, you can do lots of runtime casting (which is essentially dynamic typing), or you can try to cajole the type system into recognizing what your are doing statically. You can do the latter effort incrementally.
To give an example from Haskell:
You can stick everything into IO, or you can be more careful with your effects.
Or to give a more main stream example:
Even in a language like Go, you can do lots of runtime casting (which is essentially dynamic typing), or you can try to cajole the type system into recognizing what your are doing statically. You can do the latter effort incrementally.