태그: 타입 시스템
2편
-
[2026] C 언어 시리즈 #02 — 타입·승격(usual arithmetic)·정수 표현과 패딩
정수 승격·통상 산술 변환으로 `size_t`와 `int` 비교가 깨지는 이유, 고정폭 정수·엔디안, 구조체 패딩과 직렬화 시 `_Static_assert` 검증, FENV·부동 pragma 상호작용까지 컴파일러·ABI 관점에서 정리합니다.
-
[2026] TypeScript 완벽 가이드 — 타입 시스템·추론·컴파일 파이프라인·TS5·실무 패턴
타입 시스템 구조, 구조적 타이핑, 추론 알고리즘, parse/bind/check/emit 파이프라인, TypeScript 5(Decorators·satisfies·const type parameters), 프로덕션 패턴까지 한 문서로 정리합니다.