ต้นแบบแรกของการยืมแบบ Region ที่ไม่เปลี่ยนแปลงของ Vale

• Vale ได้พัฒนาต้นแบบสำหรับการยืมแบบ Region ที่ไม่เปลี่ยนแปลง ซึ่งเป็นแนวทางใหม่ต่อความปลอดภัยของหน่วยความจำในภาษาโปรแกรม
• ต้นแบบนี้ผสานการอ้างอิงแบบแบ่งตามรุ่น (generational references) เข้ากับการยืมแบบ Region เพื่อขจัดโอเวอร์เฮดของความปลอดภัยของหน่วยความจำ และทำให้โค้ดของ Vale เร็วมาก
• การยืมแบบ Region เป็นตัวเลือกเพิ่มเติม โดยโปรแกรมเมอร์สามารถเลือกได้ว่าจะปรับแต่งส่วนใดของโปรแกรมให้เหมาะที่สุด
• ต้นแบบนี้ได้รับการตรวจสอบด้วยเบนช์มาร์ก และเมื่อเทียบกับโหมดที่ไม่ปลอดภัยแล้วไม่พบโอเวอร์เฮดที่สังเกตได้
• Vale ยังจำเป็นต้องพัฒนาตัว pre-optimizer เฉพาะของ Vale และการรองรับข้อมูลแบบ inline ต่อไป เพื่อแข่งขันกับภาษาอย่าง C และ C++
• ทีมกำลังมองหาผู้สนับสนุนที่จะช่วยสนับสนุนงานเพื่อทำให้ Vale เป็นภาษาระดับพร้อมใช้งานจริง

[GN⁺]

ความคิดเห็นบน Hacker News

- ผู้แสดงความคิดเห็นอีกรายแสดงความสนใจใน Vale และเริ่มติดตามฟีด RSS
- มีการชวนหาผู้สนับสนุนเพิ่มเติมเพื่อสนับสนุนโครงการ Vale
- มีการตั้งคำถามถึงความหมายของคำว่า "ปลอดภัย" ในบริบทของ generational references
- มีการเปรียบเทียบการปรับให้เหมาะสมล่วงหน้าของ Vale กับ Cranelift ของ Rust
- แนวทางของ Vale ที่ผสานประสิทธิภาพและความปลอดภัยเข้าด้วยกันได้รับคำชื่นชม
- ผู้แสดงความคิดเห็นคนหนึ่งบอกว่าบทความนี้เข้าใจยากและขอคำอธิบาย
- มีการยืนยันอย่างชัดเจนว่า Vale เป็นคนละภาษากับ V
- มีการส่งข้อความแสดงความยินดีกับ Evan สำหรับการบรรลุ milestone
- มีการอธิบายคุณสมบัติและข้อดีของ Vale รวมถึงการคอมไพล์แบบ AOT, static typing และเทคนิคด้าน memory safety```