💬About Type

강타입 vs 약타입

아떤 언어에서 형변환이 일어날 때

강타입 언어는 암묵적인 형 변환을 허용하지 않고 ( 타입 검사를 통과하지 못한 프로그램의 실행 자체를 막는다)

약타입 언어는 형이 다른 경우 정해진 룰에 따라 암묵적으로 형 변환을 허용한다 (런타임에 타입 오류를 만나는 한이 있더라도 실행을 막지 않는다)

// Javascript
"1" + 1 = "11" // weakly-typed

// Go
var num1 int = 17 
var num2 float32 = 19.2

var sum1 float32 = num1 + num2 // error 발생 strongly-typed  
var num3 float32 = float32(num1) //int를 float32로 명시적 형변환 필요 
var sum2 float32 = num3 + num2 //정상 동작

---

정적 타입 검사 vs 동적 타입 검사

정적 타입 검사를 하는 언어는 타입(자료형)이 올바른지에 대한 검사를 런타임 이전(컴파일 시간)에 시행한다.

반대로 동적 타입 검사를 하는 언어는 런타임 시에 타입 검사를 시행한다.

---

Gradual Typing (점진적 타이핑)

동적 타입 검사만을 수행하던 언어에서 정적 타입 검사를 도입하고자 하는 시도에서 나타났다.

프로그래머가 명시한 일부 부분만 정적 타입 검사를 거치게 하고 나머지 부분은 그대로 동적 타입 검사가 이루어진다.

const areYouCool: boolean = true;
const answer: number = 42;
const typescript: string = "great";
const greetings: string = `
Hello, Readers!
Welcome to TypeScript.
`;
const hasType: Object = {
  TypeScript: true,
  JavaScript: false
};

// Gradual Typing을 지원하는 대표적인 언어 Typescript의 예제

Python에서 하는 방법

1. Type Annotation

def add(x: int, y: int) -> int:
    return x + y

print(add("this is ", "add function")) # "this is add function" 문제없이 작동한다

위와 같이 하면 Pycharm (JetBrains) 에디터에서는 타입에 대한 경고를 띄워주기만 하고 문제를 막아주지는 않는다.

2. mypy

pip install mypy를 통해서 간단하게 설치하고

mypy app.py mypy를 통해 위 코드를 실행시키면 타입을 체크하고 오류를 발생시킬 수 있다

app.py:5: error: Argument 1 to "add" has incompatible type "str"; expected "int"
app.py:5: error: Argument 2 to "add" has incompatible type "str"; expected "int"

int나 str과 같은 단순한 타입이 아닌 list나 tuple에 대한 타입 검사를 사용할려면 typing 패키지를 사용하면 되지만 나중에 사용하게 될 때 자세하게 알아볼려 한다.

Reference:
Type Annotation, typing, mypy - 더 나은 Python 코드를 위해

---