동적 언어의 정적 타이핑의 아이러니

이 글은 미디엄에서도 보실 수 있습니다.

시간이 지남에 따라 프로그래밍 언어가 어떻게 발전하는지 보는 것은 항상 재미있습니다.

옛날 옛적에 제가 소프트웨어 개발 세계에 입문했을 때 Python, PHP, JavaScript와 같은 동적 언어는 빠른 개발에 적합한 유연성과 간결한 구문으로 높이 평가되었습니다.

그러나 이러한 약한 유형의 언어가 발전함에 따라 강력한 유형의 언어 기능을 통합하여 C 및 Java와 매우 유사해졌습니다.

• Python: 2015년 버전 3.5부터 도입된 유형 힌트 기능이 2022년 버전 3.12에서 향상되었습니다.
• PHP: 2015년 버전 7에 도입된 선언 유형.
• JavaScript: "유형 구문이 있는 JavaScript"로 정의된 2012년 TypeScript 릴리스로 확장되었습니다.

왜 이런 변화가 일어나는 걸까요?

엄격한 유형 지정 언어에서는 코드에 변수 유형을 명시적으로 정의합니다. 목표는 프로그램을 실행하기 전 개발 단계에서 오류를 포착하고, 이러한 변수에 할당할 메모리 크기에 대한 힌트를 컴파일러에 제공하는 것입니다.

// C++ example: 'y' will be an integer
float x = 3.14;
int y = x;  //  y = 3 (ignored the decimal part of the number)

반면에 Python, PHP, JavaScript와 같은 동적으로 유형이 지정되는 언어를 사용하면 변수를 생성하고 런타임 중에 인터프리터가 해당 유형을 암시하도록 할 수 있습니다.

# In python and PHP: 'y' will take the same type as 'x'
x = 3.14
y = x  // y = 3.14 (float)

동적 언어에서 명시적 유형 지정이 어떻게 도입됩니까?

다음 예에서는 동적 및 정적 유형 지정을 사용하여 동일한 함수를 선언합니다.

파이썬:

# using the classic syntax:
def add(x, y):
    return x + y
# using explicit typing:
def add(x: int, y:int) -> int:
    return x + y

JavaScript/TypeScript:

// using the classic syntax
function add(x, y) {
    return x + y;
}
// using explicit typing
function add(x: number, y: number): number {
    return x + y;
}

PHP:

// using the classic syntax:
function add($x, $y) {
    return $x + $y;
}
// using explicit typing:
function add(int $x, int $y): int {
    return $x + $y;
}

PHP 8.2(2022년 12월 출시)는 독립형 유형으로 null, true 및 false에 대한 지원을 도입하여 더욱 발전되었습니다.

public null $nil = null;
public false $false = false;`

아이러니는 어디에 있습니까?

이 기사를 이러한 새로운 기능에 대한 이의로 받아들이지 마십시오. 저는 엄격한 유형의 언어를 사용하는 것의 이점을 인정합니다. 그러나 예를 들어 Python에서 유형 주석을 사용해도 변수 유형 변경이 중단되지는 않습니다.

x: int = 0
x = "John" 
print(type(x))   # <class>
</class>

PHP와 동일하며 콘솔에 더 이상 사용되지 않음 경고만 인쇄합니다.

그러면 왜 인터프리터가 이 코드를 실행할 수 있도록 허용하는지 궁금할 수도 있습니다.
정의에 따라 동적으로 유형이 지정됩니다. 이 특성을 제거하면 더 이상 동적이지 않습니다. C와 같이 엄격한 유형의 언어가 되지만 속도는 느려집니다.

PHP 파일에서 strict_types를 true로 설정하여 통역사에게 좀 더 엄격한 방식을 요구할 수 있기를 바랍니다.

declare(strict_types=1);

Python에서는 'mypy' 패키지를 사용하여 코드를 분석하고 버그를 잡을 수 있습니다.

// C++ example: 'y' will be an integer
float x = 3.14;
int y = x;  //  y = 3 (ignored the decimal part of the number)

'mypy'는 자신이 무엇을 잘못했는지 알려주는 조언자라고 볼 수 있지만, 이로 인해 위험을 무릅쓰고 코드를 실행하는 것을 막을 수는 없습니다.

변수 유형이 확실하지 않더라도 결합 연산자를 사용하여 허용되는 유형 목록을 줄일 수 있습니다.

PHP 및 Python의 다음 예에서는 이를 수행하는 방법을 보여줍니다.

# In python and PHP: 'y' will take the same type as 'x'
x = 3.14
y = x  // y = 3.14 (float)

코드 가독성이 희생되고 있습니까?

10년 전 저는 파이썬의 단순성과 새로운 아이디어의 프로토타입을 빠르게 제작할 수 있는 능력 때문에 박사 과정에서 Python을 사용하기로 결정했습니다. 그러다가 다른 프로젝트에도 사용하기 시작했습니다.

이제 이상한 PEP를 읽고 이러한 새로운 기능을 포함하여 코드베이스를 복잡하게 만드는 것이 정말 가치가 있는지 스스로에게 질문하게 되었습니다.

사전의 항목을 인쇄하는 예제 함수를 살펴보겠습니다. 초기 버전은 다음과 같습니다.

# using the classic syntax:
def add(x, y):
    return x + y
# using explicit typing:
def add(x: int, y:int) -> int:
    return x + y

Python 3.12에 도입된 PEP 692의 권장 사항을 사용하면 코드는 다음과 같습니다.

// using the classic syntax
function add(x, y) {
    return x + y;
}
// using explicit typing
function add(x: number, y: number): number {
    return x + y;
}

요약하자면 TypedDict를 상속하는 클래스를 만들고, 각 항목의 이름과 유형을 지정하고, Unpack 연산자를 사용하여 “mypy”에게 수신된 개체가 TypedDict임을 알렸습니다.

그 결과 코드 크기가 두 배로 늘어났습니다. 객체에 항목이 더 많으면 시간이 더 길어질 것입니다.

다행히도 코드의 일부 부분에는 정적 유형 지정을 사용하고 나머지는 동적으로 남겨둘 수 있습니다. 아니면 원할 경우 전혀 사용하지 않을 수도 있습니다.

언제 사용해야 할까요?

새롭고 빛나는 기능을 배웠다는 이유만으로 전체 코드베이스를 다시 작성해야 한다는 부담감을 느끼지 마세요.

이러한 새로운 기능은 도구와 같습니다. 제 조언은 현명하게 사용하라는 것입니다:

다음 시나리오에서는 정적 입력을 사용하세요.

• 데이터베이스, 라이브러리, API 등 외부 소스에서 데이터를 검색하는 경우
• 실패가 허용되지 않는 코드의 중요한 부분
• 코드베이스에 버그가 자주 발생하는 경우

다음과 같은 경우에는 정적 입력을 사용하지 마세요.

• 아이디어를 빠르게 테스트하기 위해 프로토타입을 디자인합니다.
• 유형 검사로 인해 이점이 없고 장황한 코드만 생성되는 내부 논리를 구현합니다.
• 화면에 데이터만 표시합니다(예: 차트 그리기, 이미지, 숫자…).
• 사용자 입력 없이 명령줄 스크립트 작성

코딩에 있어서 황금률은 항상 단순성을 추구하는 것이라는 점을 명심하세요. 단, 일을 복잡하게 만드는 타당한 이유가 있는 경우는 예외입니다.

위 내용은 동적 언어의 정적 타이핑의 아이러니의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!