---
# System prepended metadata

title: 多元組語法
tags: [violet]

---

# 多元組語法

- [ ] `(1, 2, 3, ...)`
  - 編譯成右偏樹的構造：`(1, (2, (3, ...)))`
- [ ] 取得第 `n` 個等同假定有該項存在，若不然則應當編譯失敗
  1. 取得 1 是內建的 `fst`
  2. 2 是內建的 `snd`
  3. 3 以上都是構造成先減一再遞迴嘗試本變換

###### tags: `violet`