• 타입
• 대수적 자료형
• 타입 시스템
• 유형 이론
• 식별자
• 비트 연산
• 프로그래밍 언어
• jq
• 정보처리기사/문제점
• 문자열
• 코딩 스타일
• 타입 이론
• 열거형
• 람다 대수
• T
• 나무위키:문법 도움말/심화