Tập 94: WASM/WASI — Trình duyệt và Edge computing

Trạng thái sự thật: Chưa xảy ra — Kế hoạch Phase X (Sprint 191-204).

Thế giới hiện đại không chỉ lập trình trên CPU truyền thống. WebAssembly (WASM) đã trở thành một runtime hệ thống thứ hai chạy trên trình duyệt và các CDN phân tán (edge computing). Nhờ kiến trúc sử dụng LLVM làm backend mặc định từ Phase K, việc đưa DUY lên WASM là một lộ trình kỹ thuật có tính khả thi cao nhưng đầy thách thức.

Mục tiêu của chúng tôi không chỉ là compile code DUY sang .wasm. Chúng tôi muốn biên dịch trực tiếp toàn bộ compiler DUY sang WASM để chạy trực tiếp trên browser dưới dạng một Playground không cần server.

Thách thức ở đây là sự tương thích giữa hệ thống Effect của DUY và mô hình sandboxing của WASI (WebAssembly System Interface). Một hàm có effect io trong DUY khi compile sang WASM sẽ được ánh xạ trực tiếp thành các lời gọi hệ thống WASI (như fd_write). Compiler sẽ kiểm tra tĩnh để đảm bảo mã nguồn chạy trên WASM không cố gắng thực hiện các hành vi truy cập bộ nhớ trực tiếp trái phép, giữ vững tính an toàn của sandbox. Lập trình viên có thể viết các microservices chạy trên Cloudflare Workers hoặc Vercel Edge với tốc độ khởi động lạnh (cold start) gần như bằng 0 và độ an toàn tuyệt đối.

---