Val, ngôn ngữ lập trình hệ thống cấp cao

• Val: một ngôn ngữ lập trình tập trung vào lập trình hệ thống cấp cao.
• Được thiết kế để nhanh, an toàn và đơn giản.
• Val tận dụng ngữ nghĩa giá trị có thể thay đổi và lập trình tổng quát.
• Được biên dịch sẵn xuống mã máy để tránh các cấp phát bộ nhớ không cần thiết.
• Nền tảng dựa trên ngữ nghĩa giá trị có thể thay đổi của Val đảm bảo an toàn bộ nhớ và an toàn kiểu.
• Lập trình viên có thể sử dụng các cấu trúc không an toàn vì hiệu năng khi cần.
• Val vay mượn nhiều từ Swift và nhấn mạnh ngữ nghĩa giá trị.
• Val đang được phát triển tích cực và mã nguồn được cung cấp dưới dạng mã nguồn mở trên GitHub.
• Với trọng tâm vào ngữ nghĩa giá trị có thể thay đổi để tạo ra mã hiệu quả và đa dụng, Val giữ một vị trí độc đáo.
• Nó kết hợp các ràng buộc vật lý của kiến trúc máy tính với lợi ích của lập trình lấy giá trị làm trung tâm.
• Val cung cấp language tour cùng thông tin chi tiết về cú pháp và ngữ nghĩa.
• Dù chưa sẵn sàng để sử dụng, người dùng vẫn có thể thảo luận qua diễn đàn cộng đồng.
• Các ví dụ mã của Val cho thấy cách dùng ngữ nghĩa giá trị có thể thay đổi và sự vắng mặt của các cấp phát không cần thiết.
• Chỉ mục con của Val có thể tạm thời cấp quyền đọc hoặc ghi giá trị.
• Các kiểu của Val là kiểu giá trị chứ không phải kiểu tham chiếu.
• Val đảm bảo rằng hàm không truy cập giá trị của tham số cho đến khi hàm trả về.
• Val không sử dụng chú thích vòng đời như Rust.
• Val cung cấp một mô hình đơn giản hơn, không có tham chiếu.

[GN⁺]

Ý kiến trên Hacker News

• Val: ngôn ngữ lập trình hệ thống cấp cao hướng tới việc trở thành người kế nhiệm của C++
• Được biên dịch tĩnh, định kiểu tĩnh và có khả năng tương tác với C++
• Val loại bỏ con trỏ và tham chiếu, thay vào đó nội bộ sử dụng pass-by-const-reference và return-value-optimization
• Dù هنوز chưa phát hành bản alpha và số sao cũng như người đóng góp trên GitHub còn hạn chế, một số người vẫn ủng hộ Val
• Có lo ngại về khả năng Val hỗ trợ hệ điều hành Windows
• Sự tồn tại của nhiều ngôn ngữ zero-cost abstraction như Rust, Zig và Val là điều được một số lập trình viên hệ thống yêu thích và cũng là điều họ hy vọng sẽ được giải quyết
• Val vẫn đang trong quá trình phát triển và chưa được xem là một ngôn ngữ hoàn toàn có thể sử dụng
• Val đang thu hút sự chú ý nhờ liên hệ với Dave Abrahams (Dave Abrahams là nhân vật nổi tiếng trong cộng đồng lập trình)
• Có các câu hỏi và thảo luận về cách triển khai của Val, bao gồm xử lý chuỗi và khả năng hiện thực các cấu trúc dữ liệu tự tham chiếu
• Val có vẻ trùng lặp mục tiêu với Rust, Zig và Vale, nhưng không phải với Vala
• Val có thể sẽ có một lối thoát tương tự unsafe của Rust, nhưng việc tập con an toàn của Val có đủ cho các ứng dụng thực tế hay không vẫn đang được bàn luận
• Các ngôn ngữ khác tương tự Val gồm có V, Vala và Vale