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

То есть, у тебя есть int, который описывает номер хоста в кластере, этот int модет быть от 0 до 4, а ты передаешь 18 — это ошибка типа, но соответствующих типов в питоне нету.

Это тебе скорее всего Coq и Idris нужны. Но могу ошибаться. Хотя если количество хостов в кластере может меняться динамически - скорее всего и они не помогут.

То есть, настоящая безопасность типов и модульность — это практики кодописания и навыки самого кодера, а не аннотации и mypy.

Я уже выше писал что это подсказка программисту, а не проверка в рантайме.замена docstring который описывает типы параметров и результата.

пример:

def print_number(num: int):
    print("The number is ", num)


if __name__ == '__main__':
    print_number(1)
    print_number("one")

Печатает:

The number is  1
The number is  one

То есть, у тебя есть int, который описывает номер хоста в кластере, этот int модет быть от 0 до 4, а ты передаешь 18 — это ошибка типа, но соответствующих типов в питоне нету.

Это тебе скорее всего Coq и Idris нужны. Но могу ошибаться. Хотя если количество хостов в кластере может меняться динамически - скорее всего и они не помогут.

То есть, настоящая безопасность типов и модульность — это практики кодописания и навыки самого кодера, а не аннотации и mypy.

Я уже выше писал что это подсказка программисту, а не проверка в рантайме.замена docstring который описывает типы параметров и результата.

То есть, у тебя есть int, который описывает номер хоста в кластере, этот int модет быть от 0 до 4, а ты передаешь 18 — это ошибка типа, но соответствующих типов в питоне нету.

Это тебе скорее всего Coq и Idris нужны. Но могу ошибаться. Хотя если количество хостов в кластере может меняться динамически - скорее всего и они не помогут.

То есть, настоящая безопасность типов и модульность — это практики кодописания и навыки самого кодера, а не аннотации и mypy.

Я уже выше писал что это подсказка программисту, а не проверка в рантайме.

То есть, у тебя есть int, который описывает номер хоста в кластере, этот int модет быть от 0 до 4, а ты передаешь 18 — это ошибка типа, но соответствующих типов в питоне нету.

Это тебе скорее всего Coq и Idris нужны. Но могу ошибаться.

То есть, настоящая безопасность типов и модульность — это практики кодописания и навыки самого кодера, а не аннотации и mypy.

Я уже выше писал что это подсказка программисту, а не проверка в рантайме.