Functions and control flow

Functions#

Faber 中的函式使用 函式 宣告，採用型別優先的參數語法，並使用字形回傳型別。

基本語法#

函式 twice(整數 n) → 整數 {
    傳回 n
}

帶有錯誤通道：

函式 parse(文字 input) → 整數 ⇥ 文字 {
    傳回 0
}

範例#

# No parameters, no return
函式 saluta() → 空值 {
    註記 "Salve, Mundus!"
}

# Parameter, no explicit return
函式 dic(文字 verbum) → 空值 {
    註記 verbum
}

# Parameter and return type
函式 duplica(整數 n) → 整數 {
    傳回 n * 2
}

# Multiple parameters
函式 adde(整數 a, 整數 b) → 整數 {
    傳回 a + b
}

回傳值#

使用 傳回 進行一般回傳：

函式 porta(整數 x) → 整數 {
    若 x ≺ 0 則 傳回 0
    傳回 x * 2
}

空值 回傳型別的裸 傳回：

函式 tace() → 空值 {
    傳回
}

借用與可變性（從、in、取自）#

Faber 使用參數上的簡短介系詞標記值的傳遞方式：

# Shared borrow
functio imprime(de textus label) → vacuum {
    nota label
}

# Mutable borrow
functio duplica(in numerus value) → vacuum {
    value ← value * 2
}

# Consume
functio consume(own textus buffer) → textus {
    redde buffer
}

# Owned
functio salve(textus nomen) → textus {
    redde "Salve, §!"(nomen)
}

相同的詞（從、取自）也會在其他結構中重複使用——不要將每個 取自 都解讀為「消耗」：

進入點#

程式的進入點是 入口：

入口 {
    註記 "ingressus"
}

CLI 進入點#

對於 CLI 程式，入口 引數 會接收已解析的命令列引數：

@ cli "echo"
@ descriptio "Prints text"
@ operandus ceteri textus words
incipit argumenta args {
    itera ex args.words fixum word {
        nota word
    }
}

傳遞模式——可選#

可選 標記可由呼叫者省略的參數：

函式 connect(文字 host, 整數 port 可選) → 空值 {
    註記 host
}

Control flow#

條件分支#

若 / 否則若 / 否則#

入口 {
    定值 _ condition ← 真
    若 condition {
        # truthy branch
        註記 "matched"
    }
}

包含 else-if 與 else：

入口 {
    定值 _ score ← 85
    若 score ≥ 90 {
        註記 "A"
    }
    否則若 score ≥ 80 {
        註記 "B"
    }
    否則 {
        註記 "C"
    }
}

使用 則 的精簡分支#

單一敘述的分支主體使用 則：

函式 classify(整數 b, 布林 ready, 整數 value) → 整數 ∪ 無 {
    若 b ≡ 0 則 傳回 可空
    若 ready 則 傳回 value
    傳回 可空
}

迭代#

值 — 遍歷 取自#

函式 inveni(列表<整數> items, 整數 target) → 整數 ∪ 無 {
    遍歷 取自 items 定值 item {
        若 item ≡ target 則 傳回 item
    }
    傳回 可空
}

鍵 — 遍歷 從#

入口 {
    定值 表格<文字, 整數> 表格 ← { "unus": 1, "duo": 2 }
    遍歷 從 表格 定值 key {
        註記 key
    }
}

範圍 — 遍歷 範圍#

遍歷 範圍 0‥10 定值 i {
    註記 i
}

While 迴圈#

入口 {
    定值 _ condition ← 真
    當 condition {
        # body
        靜默
    }
}

保護區段 — 守衛#

守衛 會在函式的主要主體之前，集中處理提早退出的檢查。 每個 若 子句都是依序執行的保護條件：

函式 divide(整數 a, 整數 b) → 整數 {
    守衛 {
        若 b ≡ 0 {
            傳回 0
        }
    }
    傳回 a / b
}

在 v1 中，守衛 不可中斷——它是防護欄，而不是迴圈。

模式比對 — 選擇#

選擇 會選取第一個符合的分支：

函式 describe(整數 value) → 文字 {
    選擇 value {
        分支 1 {
            傳回 "one"
        }
        分支 2 {
            傳回 "two"
        }
        預設 {
            傳回 "many"
        }
    }
}

標記聯集比對 — 比對#

比對 會完整比對 分支聯集 的各個變體：

分支聯集 Exitus {
    Bonum {
        文字 nuntius
    },
    Malum {
        文字 causa
    }
}

函式 refer(Exitus eventus) → 文字 {
    比對 eventus {
        分支 Bonum 定值 nuntius {
            傳回 nuntius
        }
        分支 Malum 定值 causa {
            傳回 "Error: §"(causa)
        }
    }
}

Try 區塊 — 執行 / 捕捉#

執行 開啟一個可能拋出例外的區塊，而 捕捉 負責復原：

函式 divide(整數 a, 整數 b) → 整數 {
    傳回 a / b
}

函式 tutus(整數 a, 整數 b) → 整數 {
    執行 {
        傳回 divide(a, b)
    }
    捕捉 err {
        警告 err
        傳回 0
    }
}

Generics#

函式、型別別名、類型 與 待實作介面 接受使用 <T> 語法的型別參數。

泛型函式#

函式 identitas<T>(T 值) → T {
    傳回 值
}

函式 primum<T>(列表<T> res) → T ∪ 無 {
    傳回 res.第一個()
}

明確的呼叫點型別引數#

函式 identitas<T>(T 值) → T {
    傳回 值
}

函式 primum<T>(列表<T> res) → T ∪ 無 {
    傳回 可空
}

入口 {
    定值 _ value ← identitas<整數>(7)
    定值 _ maybe ← primum<整數>([value])
}

泛型 類型#

類型 Par<T> {
    定值 T primus
    定值 T secundus
}

大小參數#

尺寸 會在泛型參數列表中宣告大小／索引參數：

函式 crea<T, 尺寸 N>() → 張量<T, [N]> {
    傳回 空集
}