XS: Một binary 2.9 MB chứa cả một toolchain lập trình

Cứ mỗi lần tôi học một ngôn ngữ mới, đều có một giai đoạn mà mình không viết code - mình cài thứ này thứ kia. Build system này, formatter kia, package manager thì đòi đúng một version nhất định của chính nó để boot. Lúc gõ được println("hello") thì cũng đã mất toi một tiếng đồng hồ vào các file config mà chẳng bao giờ mở lại.

XS không nghĩ vậy.

Một câu tóm tắt

XS là ngôn ngữ lập trình mà một binary 2.9 MB chứa compiler, language server, debugger, formatter, linter, test runner, profiler và package manager - và cùng một source code đó compile ra native machine code, JavaScript hay WebAssembly, chạy không cần sửa gì trên Linux, macOS, Windows, iOS, Android, ESP32 và Raspberry Pi.

Đây không phải roadmap. Đây là bản v1.2.24 đang ship.

curl -fsSL xslang.org/install | sh
xs --version
xs fmt          # formatter
xs test         # test runner
xs debug        # debugger
xs upgrade      # tự cập nhật

Không cần cài thêm gì. Không bị conflict version giữa formatter và type checker. Một binary.

Thiết kế có gì thú vị

Bản thân ngôn ngữ cố tình không phức tạp. Type là tùy chọn, và ý nghĩa là tùy chọn thật sự - type checker chỉ hoạt động trên code có annotation:

{- fib cơ bản, không cần type -}
fn fib(n) {
  if n <= 1 { return n }
  return fib(n - 1) + fib(n - 2)
}
println(fib(10))

Thêm annotation khi codebase phức tạp đến mức cần ràng buộc:

fn fib(n: int) -> int {
  if n <= 1 { return n }
  return fib(n - 1) + fib(n - 2)
}

Code chưa annotate thì qua không lọc. Ngoài ra còn decorator @memoize cho pure function, pattern matching với exhaustiveness checking, và algebraic effects - một tính năng khá hiếm, cho phép khai báo side effect như một named effect và để caller quyết định xử lý:

effect Ask {
  fn prompt(msg) -> str
}
fn greet() {
  let name = perform Ask.prompt("name?")
  return "Hello, {name}!"
}
let result = handle greet() {
  Ask.prompt(msg) => resume("World")
}
println(result)

Algebraic effects trong ngôn ngữ general-purpose là không phổ biến. Hầu hết ngôn ngữ hoặc tránh hẳn, hoặc ghép vào như một thư viện.

Một chi tiết cần biết trước: bytecode VM dùng global interpreter lock, chỉ nhả ra khi sleep, I/O hoặc channel receive. Giống hệt CPython. Hai thread tính toán thuần túy sẽ luân phiên thay vì chạy song song. Đây là một đánh đổi có chủ ý và ít nhất tác giả nói thẳng ra.

Sáu backend, một file source

Điểm đặc biệt nhất của XS là số lượng backend:

Benchmark fib(30) trên Linux x86-64:

Một điểm về chất lượng: interpreter và bytecode VM được diff với nhau ở mỗi commit. Nếu cho kết quả khác nhau thì build fail - dù từng backend riêng lẻ vẫn pass test. Với một project được làm bởi một người, đó là thanh chất lượng khá cao.

Toàn bộ project build từ 132 KLOC C source với gcc hoặc clang và GNU make. Không phụ thuộc bên ngoài nào khác. HTTPS được xử lý bởi BearSSL nhúng sẵn, không cần link vào OpenSSL của hệ thống.

HN nói gì

Bài đạt 11 điểm và năm comment - không lên được trang nhất. Nhưng hai comment có nội dung lại đi thẳng vào câu hỏi mà bất kỳ người đánh giá nghiêm túc nào cũng sẽ đặt ra.

Một người ghi nhận decorator @memoize rồi hỏi: điều đó có ngụ ý immutability không? Suy luận hợp lý - nếu một hàm có thể memoize an toàn, là vì input bất biến, hay ngôn ngữ đảm bảo referential transparency theo cách nào khác? Decorator thì có, nhưng docs không làm rõ đảm bảo gì.

Câu hỏi sắc hơn từ người thứ hai: “Nó có destructor không? Có memory-safe không?”

Docs im lặng hoàn toàn. Không có memory model, không có ownership system, không mô tả garbage collector - không trong phần giới thiệu, không trong reference. Với một ngôn ngữ nhắm tới ESP32 (microcontroller với 520 KB RAM, không có virtual memory), khoảng trống đó đáng kể. Hoặc câu trả lời nằm ở đâu đó trong reference mà tôi chưa tìm thấy, hoặc đây là câu hỏi mà phiên bản tiếp theo sẽ phải trả lời thẳng thắn. Source code C thì có sẵn để đọc, nhưng phải đọc source để hiểu memory behavior thì đó không phải dấu hiệu tốt cho tài liệu.

Có nên thử không?

XS là một solo project nghiêm túc, biết mình muốn gì. Sự gọn gàng của toolchain là có thật. Thiết kế ngôn ngữ có những ý tưởng thực sự - algebraic effects, optional typing, sáu backend nhất quán từ một source. Liệu nó có đủ chiều sâu cho codebase lớn, và memory model có đúng đắn cho phần cứng nhúng hay không, là những câu hỏi mà 5 comment HN chưa trả lời được.

Playground chạy thẳng trên browser tại xslang.org/playground. Năm phút thử sẽ cho bạn biết nhiều hơn bài này.

---

Thảo luận trên Hacker News · Gửi bởi xs-lang