Загрузка infrared infrared исходного кода

infrared

Другие категории

1.0.0

Скачать

Инфракрасный

Пылающий быстрый, легкий, предполагаемый статический шахер типа для JavaScript.

Инфракрас - это настраиваемая и эффективная проверка статического типа для JavaScript. Это делается статически, выводя систему типа жидкости на всю вашу программу - отслеживая типы ваших переменных при изменении - и повышение ошибок типа до того, как они произойдут во время выполнения.

Что такое система жидкости?

Система типа жидкости не является иностранной идеей - это прощающий набор правил печати, которые меняются по мере изменения вашей программы. Это означает, что никакие переменные никогда не привязаны к одному типу - если эта переменная изменяет свой тип где -то в программе, инфракрас отслеживает ее.

JavaScript - это динамичный язык, и Infrared не хочет этого менять. В то время как другие системы типов хотят, чтобы вы изменили способ программы (и превратили свой JavaScript на что -то другое), Infrared делает наоборот.

Чтобы понять, как инфракрасное вписывается в экосистему печати, рассмотрим следующее:

Если вы ищете систему типа SuperSet, которая пытается способствовать обоснованности, вы должны использовать поток.
Если вы ищете систему типа SuperSet, которая поощряет несоответствие, вам следует использовать TypeScript.
Если вы не хотите ничего менять в своем проекте, но все же хотите знать, какие вещи в вашей программе + имеют какую -то безопасность типа во время компиляции, вы должны использовать инфракрасный

Планирование, дорожная карта и то, что находится впереди

Инфракрас-это действительно большой проект, поэтому, естественно, это довольно хорошая идея, чтобы убедиться, что мы внимательно планируем что-то, чтобы избежать мрачного мсесса.

Я использую Figma для организации различных разделов и обязанностей каждой части инфракрасного разбирательства (анализатор, компилятор, сервер и т. Д.). Не стесняйтесь следить за тем, что я наметил до сих пор.

К сожалению, Figma отражает только окончательные части дорожной карты разработки. Это означает, что есть много классной работы - например, правила набора печати, стратегии сокращения, дискретные доказательства и т. Д. - которые нет в этом документе.

Поскольку эти биты написаны в физической ноутбуке, мне трудно поделиться публично онлайн. Хорошей новостью является то, что я планирую написать белую бумагу после завершения этого проекта, и все крутые вещи будут включены в туда.

До тех пор я более чем рад поболтать с кем -то, кто заинтересован, чтобы узнать больше - не стесняйтесь обращаться в Twitter.