Post #2139007

@RanaldClouston @dif The best example of sound and performant gradual typing in practice that I know is Static Python (https://doi.org/10.22152/programming-journal.org/2023/7/2). It's used by Instagram and yielded performance benefits there, but comes with some subtle restrictions on language features. In particular, the dynamic type cannot simply replace other type annotations in all places. This is likely true in any realistic language, but Static Python does it more than most people would want.