답변.

문제의 역사:

동적 타이핑은 파이썬의 초창기부터 특징적입니다. 이는 변수들이 미리 특정 데이터 유형에 고정되지 않음을 의미하며, 자바나 C++와 같은 언어와는 다릅니다. 타입은 실행 시간에 결정됩니다.

문제:

주요 어려움은 명시적인 타입 제어의 손실입니다. 이는 코드 작성 단계에서 오류 발견을 어렵게 하여, 코드가 확장되는 경우 특히 런타임에 논리적 버그를 초래할 수 있습니다.

해결책:

파이썬은 '덕 타이핑'(객체가 오리처럼 행동하면 그것은 오리이다)과 타입 힌트를 통해 이 문제를 해결하고 있지만, 힌트는 필수가 아니며 실행 시간에 검증되지 않고 오직 외부 도구에 의해 검토됩니다.

코드 예시:

x = 42      # int
x = "foo"  # 이제 문자열

def process(val):
    return val + val

print(process(5))        # 10
print(process("ha"))    # haha

주요 특징:

주의가 필요한 질문.

하나의 변수를 먼저 리스트로 사용하고, 이후 숫자로 사용할 수 있으며, 이렇게 해도 구문 오류가 발생하나요?

가능합니다 — 구문 오류는 발생하지 않습니다. 오류는 새로운 타입으로 유효하지 않은 연산을 시도할 때만 발생합니다.

x = [1, 2, 3]
x = 5
# print(x[0])  # 이 호출에서만 오류가 발생합니다.

타입 힌트가 파이썬에서 변수가 항상 명시된 타입을 가질 것이라고 보장하나요?

아니요 — 타입 힌트는 단지 힌트일 뿐이며, 인터프리터는 이를 검증하지 않습니다. 타입을 검증할 수 있는 것은 린터와 mypy뿐입니다.

def foo(x: int) -> int:
    return x + 1

foo("string")  # 호출 전까지 오류는 발생하지 않습니다.

함수의 타입도 동적입니까? 실행 중에 함수의 시그니처를 변경할 수 있나요?

함수는 1급 객체입니다. 그 타입은 재정의할 수 있지만, 시그니처는 변경할 수 없습니다(새로운 함수로 교체할 수는 있습니다).

def f():
    return 5
f = lambda: "abc"
print(f())  # 'abc'

부정적 사례

하나의 프로젝트에서 함수의 입력 매개 변수 타입이 검증되지 않아 사용자 폼에서 오는 데이터가 문자열 형태로 오고, 이를 숫자처럼 작업해서 예측할 수 없는 오류가 프로덕션에서 발생했습니다.

장점:

빠른 프로토타이핑, 짧은 함수, 적은 보일러플레이트 코드.

단점:

디버깅이 어렵고, 오류가 가장 예기치 못한 곳에서 나타나며 특정 데이터에서만 발생할 수 있습니다.

긍정적 사례

타입 힌트와 mypy를 통한 정적 타입 검증을 사용하면서, 문제들이 CI/CD 단계에서 프로덕션에 배포되기 전에 발견되었습니다.

장점:

잠재적인 문제를 조기에 발견하고, 코드의 유지 보수가 쉬워집니다.

단점:

추가 검증에 시간이 소모되고, 때때로 불필요한 코드가 추가됩니다.