Blazing Fast, น้ำหนักเบา, checker แบบคงที่ที่อนุมานสำหรับ JavaScript
อินฟราเรดเป็นตัวตรวจสอบชนิดคงที่และมีประสิทธิภาพสำหรับ JavaScript สิ่งนี้ทำโดยการอนุมานระบบประเภทของเหลวแบบคงที่ลงในโปรแกรมทั้งหมดของคุณ - ติดตามประเภทของตัวแปรของคุณเมื่อพวกเขาเปลี่ยน - และเพิ่มข้อผิดพลาดประเภทก่อนที่จะเกิดขึ้นที่รันไทม์
ระบบประเภทของเหลวไม่ใช่ความคิดจากต่างประเทศ - เป็นชุดการให้อภัยกฎการพิมพ์ที่ เปลี่ยนแปลง เมื่อโปรแกรมของคุณเปลี่ยนแปลง ซึ่งหมายความว่าไม่มีตัวแปรใดที่มุ่งมั่นที่จะประเภทเดียว - หากตัวแปรนั้นเปลี่ยนประเภทของมันในโปรแกรมอินฟราเรดติดตามมัน
JavaScript เป็นภาษาแบบไดนามิกและอินฟราเรดไม่ต้องการเปลี่ยนแปลงสิ่งนั้น ในขณะที่ระบบประเภทอื่น ๆ ต้องการให้คุณเปลี่ยนวิธีการโปรแกรมของคุณ (และเปลี่ยน JavaScript เป็นอย่างอื่น) อินฟราเรดทำสิ่งที่ตรงกันข้าม
เพื่อให้เข้าใจถึงวิธีที่อินฟราเรดเข้ากับระบบนิเวศการพิมพ์ให้พิจารณาสิ่งต่อไปนี้:
อินฟราเรดเป็นโครงการที่ยิ่งใหญ่จริงๆดังนั้นโดยธรรมชาติแล้วมันเป็นความคิดที่ดีที่จะทำให้แน่ใจว่าเราวางแผนสิ่งต่าง ๆ อย่างระมัดระวังเพื่อหลีกเลี่ยงการเล่นที่ไร้สาระ
ฉันใช้ Figma เพื่อจัดระเบียบส่วนและความรับผิดชอบที่แตกต่างกันของแต่ละส่วนของอินฟราเรด (ตัวแยกวิเคราะห์, คอมไพเลอร์, เซิร์ฟเวอร์ ฯลฯ ) อย่าลังเลที่จะติดตามและตรวจสอบสิ่งที่ฉันได้ทำแผนที่จนถึงตอนนี้
น่าเสียดายที่ Figma สะท้อนให้เห็นถึงส่วนที่สรุปของ แผนงาน การพัฒนาเท่านั้น ซึ่งหมายความว่ามีงานที่ยอดเยี่ยมมากมายเช่นกฎการพิมพ์กลยุทธ์การลดการพิสูจน์ที่ไม่ต่อเนื่อง ฯลฯ - ที่ไม่ได้อยู่ในเอกสารนี้
เนื่องจากบิตเหล่านั้นเขียนไว้ในสมุดบันทึกทางกายภาพจึงเป็นเรื่องยากสำหรับฉันที่จะแบ่งปันทางออนไลน์ในที่สาธารณะ ข่าวดีก็คือฉันวางแผนที่จะเขียนกระดาษสีขาวเมื่อโครงการนี้เสร็จสิ้นและสิ่งดีๆทั้งหมดจะรวมอยู่ในนั้น
ก่อนหน้านั้นฉันมีความสุขมากกว่าที่จะแชทกับใครก็ตามที่สนใจเรียนรู้เพิ่มเติม - อย่าลังเลที่จะติดต่อทาง Twitter
ถาม - ฉันสามารถใช้สิ่งนี้ได้หรือไม่?
A - ยังไม่ โครงการนี้ยังอยู่ระหว่างการพัฒนา แต่คาดว่าจะมีการเปิดตัวอัลฟ่าเร็ว ๆ นี้ ( ish )!
ซอฟต์แวร์นี้ใช้งานได้ฟรีภายใต้ใบอนุญาต MIT ดูข้อมูลอ้างอิงนี้สำหรับข้อความใบอนุญาตและข้อมูลลิขสิทธิ์