infrared

적외선

JavaScript에 대해 빠르고 가벼우 며 유추 된 정적 유형 검사기.

적외선은 JavaScript의 구성 가능하고 효율적인 정적 유형 검사기입니다. 이는 유체 유형 시스템을 전체 프로그램으로 정적으로 추론하여 변경됩니다. 변수 유형을 변경할 때 변수 유형을 추적하고 런타임에 발생하기 전에 유형 오류를 높이면됩니다.

유체 유형 시스템이란 무엇입니까?

유체 유형 시스템은 외국 아이디어가 아닙니다. 프로그램이 변경됨에 따라 변경되는 용서하는 타이핑 규칙 세트입니다. 이는 변수가 단일 유형에 최선을 다하지 않음을 의미합니다. 변수가 프로그램 어딘가에 유형을 변경하면 적외선을 추적합니다.

JavaScript는 역동적 인 언어이며 적외선은 그것을 바꾸고 싶지 않습니다. 다른 유형의 시스템은 귀하가 프로그램 방식을 변경하고 (JavaScript를 다른 것으로 변경) 변경하기를 원하지만 적외선은 그 반대입니다.

적외선이 타이핑 생태계에 맞는 방식을 이해하려면 다음을 고려하십시오.

• 건전성을 촉진하려는 슈퍼 세트 유형 시스템을 찾고 있다면 흐름을 사용해야합니다.
• 부패성을 장려하는 슈퍼 세트 유형 시스템을 찾고 있다면 TypeScript를 사용해야합니다.
• 프로젝트에서 아무것도 변경하고 싶지 않지만 여전히 프로그램의 물건 유형을 알고 싶다면 컴파일 시간에 약간의 안전성이 있으면 적외선을 사용해야합니다.

계획, 로드맵 및 앞에있는 것

적외선은 정말 큰 프로젝트이므로 당연히 우리가 얀키 메스를 피하기 위해 신중하게 계획을 세우는 것이 좋습니다.

나는 Figma를 사용하여 적외선의 각 부분 (파서, 컴파일러, 서버 등)의 다른 섹션과 책임을 구성합니다. 자유롭게 따라 가서 지금까지 내가 맵핑 한 것을 확인하십시오.

불행히도, Figma는 개발 로드맵 의 최종 부분 만 반영합니다. 이는이 문서에없는 타이핑 규칙, 축소 전략, 개별 증거 등과 같은 멋진 작업이 많이 있음을 의미합니다.

이러한 비트는 실제 노트북으로 작성되었으므로 온라인으로 공개적으로 공유하기가 어렵습니다. 좋은 소식은이 프로젝트가 완료되면 백서를 작성할 계획이며 모든 멋진 물건이 모두 포함됩니다.

그때까지, 나는 더 많은 것을 배우고 싶어하는 사람과 채팅하는 것을 기쁘게 생각합니다. 트위터에 자유롭게 연락하십시오.

FAQ

Q - 이것을 사용할 수 있습니까?

A - 아직은 아닙니다. 이 프로젝트는 아직 개발 중이지만 곧 알파 릴리스 ( ISH )가 예상됩니다!

특허

이 소프트웨어는 MIT 라이센스에 따라 무료로 사용할 수 있습니다. 라이센스 텍스트 및 저작권 정보는이 참조를 참조하십시오.