타입 검사기(Type Checkers)

• TypeScript - 일반 JavaScript로 컴파일되는 타입이 지정된 JavaScript 슈퍼셋입니다.
• Flow.js - Facebook에서 개발한 JavaScript 정적 타입 검사기입니다.
• Hegel - 타입 추론에 중점을 둔 강력한 타입 시스템을 가진 JavaScript 정적 타입 검사기입니다.
• TypL - 타입 추론에 특화된 JavaScript 타입 린터입니다.
• Hindley Milner 정의 - Haskell 스타일 힌들리-밀너(Hindley Milner) 타입 시그니처를 사용하는 JavaScript 함수의 런타임 타입 검사 기능입니다.
• Zod - 정적 타입 추론 기능이 내장된 TypeScript 최우선 스키마 유효성 검사 도구입니다.