Hello World trong Zero: viết và chạy chương trình .0 đầu tiên

Viết tệp

Mở editor và lưu năm dòng sau thành hello.0 ở chỗ nào tiện, hoặc chỉ cần nhấn Chạy ở khối bên dưới:

pub fun main(world: World) -> Void raises {
    check world.out.write("hello from zero\n")
}

Vậy là xong, một chương trình Zero hoàn chỉnh. Để chạy nó trên máy của bạn:

zero run hello.0

Bạn sẽ thấy:

hello from zero

Nếu bạn gặp command not found, hãy quay lại Cài đặt Zero và đảm bảo zero --version chạy được trước đã.

Mổ xẻ từng token

Ngay cả chương trình nhỏ xíu này cũng đã cho thấy phần lớn những gì làm Zero khác biệt. Cùng đọc từ trái sang phải.

pub

pub đánh dấu một khai báo là công khai: nhìn thấy được từ bên ngoài module hiện tại. Runtime cần tìm main từ bên ngoài phạm vi riêng của tệp, nên main phải là pub. Một hàm phụ riêng tư trong cùng tệp thì không cần.

fun

fun mở đầu một khai báo hàm. Zero dùng fun, không phải fn (Rust), func (Go) hay function (JavaScript). Một từ khóa, lần nào cũng dùng theo cùng một cách.

main

Tên điểm vào theo quy ước. Khi một target thực thi của Zero chạy, runtime tìm pub fun main(world: World) và gọi nó. Bạn đặt tên các hàm khác thế nào cũng được, nhưng main được dành riêng theo quy ước cho điểm vào của chương trình.

(world: World)

Tham số duy nhất tên là world và có kiểu World. Runtime tạo một giá trị World trước khi gọi main rồi truyền nó vào. Giá trị đó mang các capability của chương trình: quyền truy cập stdout, stdin, hệ thống tệp, mạng, v.v., tùy vào những gì runtime quyết định cấp.

Tên tham số do bạn chọn: (w: World) hay (io: World) đều biên dịch bình thường. Quy ước trong các ví dụ là world, và chúng ta sẽ giữ tên đó.

-> Void

Kiểu trả về. Void nghĩa là hàm không trả về gì hữu ích: nó tồn tại vì hiệu ứng phụ, không phải vì giá trị. Nhiều hàm bạn viết sẽ trả về kiểu thật như i32 hoặc một shape do bạn định nghĩa.

raises

raises đứng một mình (không có kiểu lỗi cụ thể) trên main nói rằng "hàm này có thể thất bại". Với main, điều đó nghĩa là chương trình có thể thoát với mã trạng thái khác 0 nếu bất kỳ check nào trong thân hàm lan truyền lỗi lên. Chúng ta sẽ thấy các dạng hẹp hơn, ví dụ raises { InvalidInput }, trong Raises và check.

check world.out.write("hello from zero\n")

Đây là dòng thực sự làm việc. Ba phần nhỏ:

• world.out: luồng đầu ra chuẩn, được cung cấp như một trường trên capability World.
• .write("hello from zero\n"): một phương thức ghi chuỗi vào luồng đó. Nó trả về một kết quả có thể báo thất bại (việc ghi có thể lỗi; luồng có thể đã đóng).
• check: lan truyền thất bại đó lên nếu nó xảy ra. Không có check, trình biên dịch sẽ phàn nàn rằng kết quả của write đang bị bỏ qua âm thầm.

\n ở cuối là một ký tự xuống dòng. Không có nó, đầu ra sẽ không xuống dòng mới và dấu nhắc của shell sẽ nằm chung dòng với thông điệp của bạn.

Điều gì vừa xảy ra

Khi bạn chạy zero run hello.0:

1. Trình biên dịch phân tích cú pháp tệp và kiểm tra kiểu.
2. Nó tạo ra một tệp thực thi native nhỏ cho nền tảng của bạn.
3. Runtime tạo một capability World cho tiến trình hiện tại.
4. Nó gọi main(world).
5. Code của bạn ghi "hello from zero\n" vào luồng out của world đó, vốn được nối với stdout của terminal.
6. main trả về Void, runtime dọn dẹp, và chương trình thoát với mã trạng thái 0.

Không có bộ thu gom rác, không có khởi tạo runtime ẩn, không có bước khởi động module ngầm. Toàn bộ chương trình là hàm bạn đã viết, cộng với code thư viện chuẩn mà nó gọi.

Thử một thay đổi nhỏ

Cho chương trình gán thông điệp vào một biến trước khi ghi:

pub fun main(world: World) -> Void raises {
    let message = "hello from a binding\n"
    check world.out.write(message)
}

Chạy lại: đầu ra vẫn vậy, nhưng giờ bạn đã thấy biến let và xác nhận rằng chuỗi là giá trị hạng nhất mà bạn có thể truyền đi khắp nơi.

Một phiên bản lỗi

Chuyện gì xảy ra nếu bạn quên check?

pub fun main(world: World) -> Void raises {
    world.out.write("oops\n")
}

zero check hello.0 sẽ từ chối biên dịch đoạn này. Kết quả của write là một giá trị có thể thất bại; bỏ qua nó là lỗi biên dịch. Bạn hoặc check nó (lan truyền lỗi), hoặc xử lý nó tường minh. Đây là cùng ý tưởng với các kết quả must_use của Rust, chỉ có điều được bắt buộc với mọi lời gọi có thể thất bại.

Tiếp theo: Zero CLI

Ở đây bạn đã dùng zero run. CLI có một nhóm nhỏ các lệnh đáng biết, check, run, build, test, fix, explain, mỗi lệnh đều có chế độ --json có cấu trúc, được thiết kế để agent sử dụng.