Kết xuấtvi

Hello, Faber

Viết chương trình Faber hữu ích và ngắn gọn nhất: một điểm vào gói định dạng một chuỗi rồi in chuỗi đó.

Điều kiện tiên quyết#

Trước tiên, hãy hoàn tất Cài đặt và tải xuống. Bạn cần có tệp nhị phân faber trong PATH và một shell đang ở thư mục làm việc nơi bạn có thể tạo tệp.

Tạo một gói#

mkdir salve-munde
cd salve-munde
mkdir src
cat > faber.toml <<'EOF'
[package]
name = "salve-munde"
version = "0.1.0"
EOF
hàm salve(văn_bản nomen)  văn_bản {
    hằng văn_bản msg  "Salve, §!"(nomen)
    trả msg
}

bắt_đầu {
    hằng văn_bản m  salve("munde")
    ghi_chú m
}

Kiểm tra gói#

faber check .

faber check chạy phần đầu vào của trình biên dịch: phân tích từ vựng, phân tích cú pháp, kiểm tra kiểu và hạ cấp đủ xa để phát hiện các lỗi thông thường trong gói mà không cần xây dựng tệp nhị phân gốc. Nếu lệnh thất bại, trước tiên hãy đọc mã chẩn đoán; các chẩn đoán của Faber được thiết kế để làm mã tra cứu ổn định.

Chạy chương trình#

faber run .

Kết quả dự kiến:

Salve, munde!

Những gì bạn vừa sử dụng#

Mã nguồnÝ nghĩa
functio salve(textus nomen) → textusHàm tên salve, tham số theo kiểu trước, trả về văn bản
fixum textus msg ← ...Khai báo bất biến
"Salve, §!"(nomen)Chuỗi định dạng có nội suy giá trị hiển thị
redde msgTrả về
bắt_đầuĐiểm vào của gói
nota mIn một giá trị ghi chú/kết quả

Chứng minh bản địa hóa#

Chương trình trên là cách hiển thị chuẩn theo locale đọc tiếng Latinh. Các locale đọc khác có thể hiển thị cùng một chương trình ngữ nghĩa bằng các bộ từ khóa khác nhau, đồng thời giữ nguyên glyph và mã định danh. Hãy bắt đầu với phần chứng minh đầy đủ tại Locale đọc trước khi viết các gói không dùng chữ Latinh.

Tiếp theo#