2026년 10월 19일 (월).

핵심 요약

• 파서 컴비네이터는 작은 파서들을 조합해 복잡한 파싱 로직을 구축하는 기법이다.
• 기본 파서들로 정수, 소수, 문자열, 공백 등을 처리하는 pInteger, pDecimal, pString, pWhitespace를 정의한다.
• pString은 정확한 텍스트 매칭을 수행하고, pInteger는 정규식으로 연속된 숫자를 파싱한다.

핵심 요약

• Java 17의 sealed 클래스는 인터페이스나 기본 클래스의 하위 타입을 명시적으로 제한하여, 패턴 매칭 시 모든 경우를 다뤘는지 컴파일러가 검증할 수 있게 해준다.
• sealed 인터페이스/클래스에 switch 식을 사용하면 컴파일러가 모든 경우를 확인했는지 판단하여, 누락된 경우가 없다면 default 절을 생략해도 되므로 코드 안전성이 높아진다.
• 하지만 새로운 하위 타입을 sealed 클래스에 추가하는 것은 기존 코드의 switch 문을 깨뜨리므로 주요 버전 업그레이드가 필요한 breaking change가 된다.

핵심 요약

• 값(value)을 타입(type)으로 분류하듯, 타입을 Kind로 분류하는 Haskell의 타입 시스템을 설명한다.
• 일반 타입은 Kind Type에 속하며, 타입 생성자(Maybe, Either 등)는 Kind Type → Type 같은 형태로 분류된다.
• Nat, Symbol, Constraint 같은 타입 레벨 구성도 각각의 Kind를 가져 타입 시스템을 더욱 표현력 있게 만든다.