История изменений

Хотел сказать, что неавтопроверяемость документации есть не абсолютная истина, а лишь текущее состояние инструментов. Т.е. если формализовать формат документации до роботочитаемого, можно будет напихать «контракты» туда, и это будет ничем не хуже бесполезных(*) аннотаций в коде.

Только надо понимать, что «формализация до робочитаемого» даст ровно ту же сложность аннотаций типов, что и mypy, просто записано оно будет в комментариях. Но да, можно. Но в реальности не существует (mypy умеет аннотации в комментариях, но не думаю, что туда можно добавлять документацию).

Хотел сказать, что неавтопроверяемость документации есть не абсолютная истина, а лишь текущее состояние инструментов. Т.е. если формализовать формат документации до роботочитаемого, можно будет напихать «контракты» туда, и это будет ничем не хуже бесполезных(*) аннотаций в коде.

Только надо понимать, что «формализация до робочитаемого» даст ровно ту же сложность аннотаций типов, что и mypy, просто записано оно будет в комментариях. Но да, можно. Но в реальности не существует.