Python and Typescript "type systems" were designed for gradual, non green-field typing. It is essential to incremental migration and totally understandable that

Python and Typescript "type systems" were designed for gradual, non green-field typing. It is essential to incremental migration and totally understandable that it works this way.