국내 IT 기업 기술 블로그 최신 글

새로운 기술 블로그가 추가되었어요

CSLEE

infer, never만 보면 두려워지는 당신을 위한 타입 추론 - 기초 타입 이론

네이버 D2

2024년 7월 4일

프론트엔드

infer, never만 보면 두려워지는 당신을 위한 타입 추론 - 기초 타입 이론

TypeScript 타입 추론의 기초를 타입 이론 관점에서 설명했습니다. 서브타입 관계, 함수 타입, never·unknown·any·void의 의미를 정리했습니다.

#TypeScript#타입 이론

4400

데브시스터즈

2022년 7월 12일

백엔드

9가지 프로그래밍 언어로 배우는 개념: 1편 - 타입 이론

9개 언어의 nullable, 합·곱 타입, 패턴 매칭을 타입 이론 관점에서 비교했습니다. 상속과 예외 처리의 한계를 살피고 컴포지션·Result 기반 설계를 제안합니다.

#타입 이론#nullable

3700