Linear types
AssessNgôn ngữ & Framework
Một hệ kiểu ràng buộc việc sở hữu hoặc sử dụng giá trị chỉ một lần.
Vì sao ở đây
Xếp vào Assess: 1 bài bằng chứng từ 1 nguồn, chủ yếu là hoạt động mã nguồn mở, 1 bài trong 30 ngày qua. Độ tin cậy 24%. Bằng chứng còn ít nên xếp thận trọng, chờ thêm tín hiệu.
Bằng chứng (1)
- 4Hacker News·7/8/2026open_sourceWyzer, một ngôn ngữ lập trình hướng tài nguyên mới
Wyzer là một ngôn ngữ lập trình biên dịch, có kiểu tĩnh ở giai đoạn đầu, tập trung vào lập trình hướng tài nguyên và an toàn khi phân tán. Tác giả cho biết dự án nhằm xử lý bế tắc phân tán, tính đúng đắn giữa các dịch vụ và sai lệch giao thức bằng lập trình biên đạo, kiểu tuyến tính/affine và mô hình đếm tham chiếu kiểu Perceus.