> -- PSV100 писал(а):
> Вот в том и дело, что весь смежный раздел форума про программирование "под доказательство" кричит о том, что сертификационная комиссия -- "контуперные гении", как и создатели этого стандарта, мол не умеют пользоваться инвариантами циклов, ограничивающей функцией и т.д.Кто на кого кричит?
Сертификация должна быть осуществима, желательно простыми средствами. С учётом ограниченного круга применения, требование не выглядит слишком странно.

> -- Цитата:
> И впечатление, что какой-нибудь Питон (особенно с учётом потенциальной аннотации типов и соответствующего контроля) лучше адаптирован к стандарту, чем те же Обероны
Интересное впечатление.
Статическая типизация в Python3 - это отдельная песня:## Код:
```
"""Static typing in Python"""

def static_typing(i: int) -> int:
    """With type's annotations much more safe"""
    return "bla bla" + i

print(static_typing(" bla"))
```

В простых случаях может помочь mypy, но это слабое утешение:

## Код:
```
"""Static typing in Python"""

def ret():
    """mypy save you in all cases"""
    return "bla bla "

def static_typing(i: int) -> int:
    """With type's annotations much more safe"""
    return ret() + i

print(static_typing(ret()))
```
