Languages like TypeScript and Racket are also interesting because they let you shift camps partway through the project - you can start of untyped and then add typing annotations.

https://en.wikipedia.org/wiki/Gradual_typing