Merge pull request #337 from KisaragiEffective/KisaragiEffective-patch-1

KisaragiEffective · Dec 24, 2023 · cbf5eac · cbf5eac
2 parents 8f99f05 + 94d70e0
commit cbf5eac
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/syntax.md b/docs/syntax.md
@@ -265,6 +265,12 @@ print n
 print o
 ```
 
+より一般には、`var`の後には反芻不可能なパターンを置くことができます。
+反芻不可能なパターンとは、以下によって再帰的に定義されるパターンの部分集合のことです。
+
+* 単純束縛: 識別子単独のパターン
+* タプル束縛: 左丸括弧 (`(`) のあとにコンマ (`,`) 区切りの反芻不可能なパターンが2個以上続き、右丸括弧 (`)`) で終わるパターン
+
 ## 文
 
 式があれば文もあります。