Исправление Elidee, (текущая версия) :
То есть, у тебя есть 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
Исправление Elidee, :
То есть, у тебя есть int, который описывает номер хоста в кластере, этот int модет быть от 0 до 4, а ты передаешь 18 — это ошибка типа, но соответствующих типов в питоне нету.
Это тебе скорее всего Coq и Idris нужны. Но могу ошибаться. Хотя если количество хостов в кластере может меняться динамически - скорее всего и они не помогут.
То есть, настоящая безопасность типов и модульность — это практики кодописания и навыки самого кодера, а не аннотации и mypy.
Я уже выше писал что это подсказка программисту, а не проверка в рантайме.замена docstring который описывает типы параметров и результата.
Исправление Elidee, :
То есть, у тебя есть int, который описывает номер хоста в кластере, этот int модет быть от 0 до 4, а ты передаешь 18 — это ошибка типа, но соответствующих типов в питоне нету.
Это тебе скорее всего Coq и Idris нужны. Но могу ошибаться. Хотя если количество хостов в кластере может меняться динамически - скорее всего и они не помогут.
То есть, настоящая безопасность типов и модульность — это практики кодописания и навыки самого кодера, а не аннотации и mypy.
Я уже выше писал что это подсказка программисту, а не проверка в рантайме.
Исходная версия Elidee, :
То есть, у тебя есть int, который описывает номер хоста в кластере, этот int модет быть от 0 до 4, а ты передаешь 18 — это ошибка типа, но соответствующих типов в питоне нету.
Это тебе скорее всего Coq и Idris нужны. Но могу ошибаться.
То есть, настоящая безопасность типов и модульность — это практики кодописания и навыки самого кодера, а не аннотации и mypy.
Я уже выше писал что это подсказка программисту, а не проверка в рантайме.