TypeScript : TypeScript는 JavaScript 출력을 정리하기 위해 컴파일 되는 JavaScript의 상위 집합입니다. http://www.typescriptlang.org/

Flow : 개발자 생산성 및 코드 품질을 향상 시키기 위해 정적 타이핑을 JavaScript에 추가합니다. https://flow.org/

DefinitelyTyped : 고품질 TypeScript 유형 정의를 위한 저장소.  http://definitelytyped.org/

Purescript : Javascript로 컴파일 되는 강력한 형식의 언어  http://purescript.org/