檢視原始碼 模式匹配

模式匹配

變數會透過模式匹配機制綁定到值。當評估 casereceivetry 和匹配運算子 (=) 表達式時,會發生模式匹配。

在模式匹配中,左側的模式會與右側的進行匹配。如果匹配成功,則模式中任何未綁定的變數都會被綁定。如果匹配失敗,則會引發例外。

範例

1> X.
** 1:1: variable 'X' is unbound **
2> X = 2.
2
3> X + 1.
3
4> {X, Y} = {1, 2}.
** exception error: no match of right hand side value {1,2}
5> {X, Y} = {2, 3}.
{2,3}
6> Y.
3