자료형 (Data Type)

자료형(Data Type)은 프로그램이 다루는 값의 종류와 그 값에 적용할 수 있는 연산을 구분하는 체계입니다. 숫자, 문자열, 참과 거짓처럼 기본적인 종류가 있고 여러 값을 묶는 배열과 객체도 있습니다. 같은 모양으로 표시되는 값이라도 자료형이 다르면 계산과 비교, 저장 방식이 달라질 수 있습니다.

값의 종류와 가능한 연산

숫자 12와 문자열 "12"는 화면에서는 비슷하지만 프로그램에서 같은 역할을 하지 않습니다. 숫자는 수량 계산에 쓰이고, 문자열은 글자의 나열로 다룹니다. 입력창에서 받은 값을 수량 계산에 쓰려면 어떤 형태로 전달됐는지와 어떤 변환이 필요한지 확인합니다. 변환 규칙은 언어마다 다르므로, 따옴표가 보이지 않는 화면만으로 실제 값의 종류를 판단하기 어렵습니다.

MDN의 JavaScript 자료형 설명은 원시 값과 객체를 구분하고 JavaScript가 동적 자료형을 사용한다고 설명합니다. 변수 하나에 서로 다른 종류의 값을 다시 대입할 수 있지만, 각각의 값이 갖는 성질까지 사라지는 것은 아닙니다. 문자열에 적용할 메서드를 숫자에 호출하는 식의 코드는 실행 단계에서 예상과 다른 동작이나 오류를 만들 수 있습니다.

값이 없다는 상태도 표현 방식이 다릅니다. JavaScript의 null과 undefined는 각각 다른 값이며, 빈 문자열이나 숫자 0과도 구분됩니다. 응답에 필드가 빠진 경우와 필드가 있지만 빈 값인 경우를 같은 것으로 처리하면 입력 누락을 놓칠 수 있습니다. 데이터 계약에서 필수 여부와 허용되는 빈 값을 함께 정하는 이유입니다.

정적 검사와 실행 중 판단

TypeScript의 기본 설명은 정적 자료형 시스템이 실행 전에 값의 모양과 동작을 분석해 오류를 찾는다고 설명합니다. 함수가 숫자를 받도록 정했다면 문자열을 넘기는 코드를 검사 단계에서 표시할 수 있습니다. 실제로 모든 입력을 실행해 보는 대신 코드에 표현된 정보를 바탕으로 모순을 찾는 방식입니다.

TypeScript에서는 모든 변수에 자료형을 직접 쓰지 않아도 문맥에서 추론하는 경우가 있습니다. TypeScript의 일상적인 자료형 문서는 string, number, boolean, 배열, 객체와 유니언을 설명합니다. 유니언은 값이 여러 허용 종류 중 하나임을 나타냅니다. 문자열 또는 숫자를 받을 수 있는 함수라면 실제 종류를 확인해 해당 값에 맞는 처리를 선택합니다.

자료형 오류를 없애려고 any를 붙이면 그 부분의 검사가 약해집니다. 검사기가 더는 지적하지 않는다고 원래 코드의 동작이 고쳐진 것은 아닙니다. 외부 라이브러리나 아직 구조를 모르는 입력을 다룰 때도 어느 범위까지 알고 있고 어디서 확인할지를 명시하면 검증 경계가 분명해집니다. 자료형 선언은 프로그램의 의도를 전달하는 문서 역할도 합니다.

외부 입력과 실제 값의 검증

TypeScript의 자료형 표기는 실행용 JavaScript를 만드는 과정에서 제거됩니다. 공식 기본 문서도 자료형 주석이 실행 동작을 바꾸지 않는다고 명시합니다. 서버 응답에 원하는 자료형 이름을 붙였다고 실제 데이터의 필드와 값이 자동 검사되는 것은 아닙니다. 네트워크에서 받은 자료에는 파싱 이후의 구조 확인과 값 검증을 따로 적용합니다.

수량이 숫자라는 조건과 양수여야 한다는 조건은 검증 범위가 다릅니다. 자료형이 맞아도 음수나 업무상 허용 범위를 벗어난 값일 수 있습니다. 날짜를 문자열로 전달하는 API에서는 문자열 여부뿐 아니라 형식과 실제 날짜의 유효성도 중요합니다. 자료형 검사와 업무 규칙 검사를 나누면 어느 수준의 오류를 막았는지 설명하기 쉽습니다.

AI 모델의 구조화된 출력이나 도구 호출도 같은 구분을 적용합니다. 필드와 자료형이 맞는 결과를 받았어도 그 내용이 사실인지, 실제로 사용할 수 있는지는 따로 확인합니다. 상품 ID가 문자열이어도 존재하지 않는 상품을 가리킬 수 있습니다. 출력 형태를 확인한 다음 실제 데이터 조회와 권한 검사 같은 후속 검증을 연결하면 형식이 맞는 잘못된 값을 걸러낼 수 있습니다.