Nguyên mẫu đầu tiên về mượn vùng bất biến của Vale

• Vale đã phát triển một nguyên mẫu cho cơ chế mượn vùng bất biến, một cách tiếp cận mới đối với an toàn bộ nhớ trong ngôn ngữ lập trình.
• Nguyên mẫu này kết hợp tham chiếu theo thế hệ và mượn vùng để loại bỏ chi phí phụ trội của an toàn bộ nhớ và giúp mã Vale chạy rất nhanh.
• Mượn vùng là tùy chọn, cho phép lập trình viên chọn phần nào của chương trình cần tối ưu hóa.
• Nguyên mẫu này đã được kiểm chứng bằng benchmark và không cho thấy bất kỳ chi phí phụ trội nào có thể quan sát được so với chế độ không an toàn.
• Vale vẫn cần tiếp tục làm việc về bộ tiền tối ưu hóa chuyên biệt cho Vale và hỗ trợ dữ liệu nội tuyến để cạnh tranh với các ngôn ngữ như C và C++.
• Nhóm đang tìm kiếm các nhà tài trợ có thể hỗ trợ và giúp đỡ để biến Vale thành một ngôn ngữ ở cấp độ sản phẩm.

[GN⁺]

Ý kiến trên Hacker News

- Một người bình luận khác bày tỏ sự quan tâm đến Vale và bắt đầu đăng ký RSS feed.
- Có lời kêu gọi tìm thêm nhà tài trợ để hỗ trợ dự án Vale.
- Một câu hỏi được nêu ra về ý nghĩa của "an toàn" trong bối cảnh tham chiếu thế hệ.
- Có sự so sánh giữa tối ưu hóa sớm của Vale và Cranelift của Rust.
- Cách tiếp cận của Vale được khen ngợi vì kết hợp hiệu năng và an toàn.
- Một người bình luận nói rằng bài viết này khó hiểu và yêu cầu được giải thích.
- Làm rõ rằng Vale là một ngôn ngữ khác với V.
- Một thông điệp chúc mừng được gửi tới Evan vì đã đạt được cột mốc.
- Có phần giải thích về các tính năng và lợi ích của Vale, bao gồm biên dịch AOT, kiểu tĩnh và các kỹ thuật an toàn bộ nhớ.```