infrared

Infrarot

Fast, leicht, leicht, abgeleitetes statischer Typ-Checker für JavaScript.

Infrarot ist ein konfigurierbarer und effizienter statischer Typ -Checker für JavaScript. Dies geschieht durch statendes Abschluss eines Fluid -Systems auf Ihr gesamtes Programm - die Verfolgung der Arten Ihrer Variablen bei der Änderung - und die Anhebung von Typfehlern, bevor sie zur Laufzeit auftreten.

Was ist ein Flüssigkeitssystem?

Ein System mit Flüssigkeitstyp ist keine fremde Idee - es ist eine verzeihende Reihe von Schreibregeln, die sich ändern , wenn sich Ihr Programm ändert. Dies bedeutet, dass keine Variablen jemals zu einem einzigen Typ verpflichtet sind - wenn diese Variable ihren Typ irgendwo im Programm ändert, verfolgt Infrarot ihn.

JavaScript ist eine dynamische Sprache, und das Infrarot möchte das nicht ändern. Während andere Typsysteme da draußen möchten, dass Sie Ihre Programme ändern (und Ihr JavaScript in etwas anderes ändern), tut Infrarot das Gegenteil.

Betrachten Sie die folgenden:

• Wenn Sie nach einem Superset -System suchen, das versucht, die Förderung zu fördern, sollten Sie den Fluss verwenden.
• Wenn Sie nach einem Superset -System suchen, das Unsicherheit fördert, sollten Sie TypeScript verwenden.
• Wenn Sie in Ihrem Projekt nichts ändern möchten, aber dennoch die Arten von Dingen in Ihrem Programm + wissen möchten, haben Sie in der Kompilierungszeit eine Art Sicherheit, sollten Sie Infrarot verwenden.

Planung, Roadmap und was liegt vor uns

Infrarot ist ein wirklich großes Projekt. Natürlich ist es eine ziemlich gute Idee, um sicherzustellen, dass wir die Dinge sorgfältig planen, um einem verjüngenden Hemd zu vermeiden.

Ich verwende Figma, um die verschiedenen Abschnitte und Verantwortlichkeiten jedes Teils von Infrarot (Parser, Compiler, Server usw.) zu organisieren. Fühlen Sie sich frei, mitzumachen und überprüfen Sie, was ich bisher zugeordnet habe.

Leider spiegelt Figma nur die endgültigen Teile der Entwicklungs -Roadmap wider. Dies bedeutet, dass es viele coole Arbeiten gibt - wie Tippregeln, Reduktionsstrategien, diskrete Beweise usw. -, die nicht in diesem Dokument sind.

Da diese Teile in einem physischen Notizbuch geschrieben sind, fällt es mir schwierig, öffentlich online zu teilen. Die gute Nachricht ist, dass ich vorhabe, ein Weißbuch zu schreiben, sobald dieses Projekt abgeschlossen ist und alle coolen Dinge dort enthalten sein werden.

Bis dahin bin ich mehr als glücklich, mit jedem zu chatten, der interessiert ist, mehr zu erfahren - Sie können gerne auf Twitter nachkommen.

FAQ

F - Kann ich das verwenden?

A - noch nicht. Dieses Projekt befindet sich noch in der Entwicklung, erwarten jedoch bald eine Alpha -Veröffentlichung ( ISH )!

Lizenz

Diese Software kann unter der MIT -Lizenz kostenlos verwendet werden. In dieser Referenz finden Sie Lizenztext und Urheberrechtsinformationen.