Can you summarize the following document?
        
  雖然"cons"單元可用於儲存有序的資料對,但它們更常用於組合為更復雜的複合資料結構,特別是列表和二元樹。

  例如 LISP 表示式codice_8產生一個有序的單元,在左半部存放 1,而右半部存放 2 。  左右次序不能互換((1 2)跟(2 1)不同)。在 LISP 表示法中,codice_8結果會印出如下:  須注意 1 和 2 之間的句點;這個 S 表示式是特殊的“點對”(所謂的"cons對"),並不是普通的“列表”。

  LISP 程式設計中的列表實作在「cons對」之上。具體地說,每個列表的結構都是:  這形成了簡單基本的列表,而codice_1,codice_12和codice_13函式可以操作列表的內容。  注意,codice_11是個特殊的空列表,並不是「cons對」。考慮元素為 1,2 和 3 的列表為例。  這樣的列表經由三個步驟產生:  這相當於單一表示式: 或可用codice_19函式節略如下: 最終結果是一個列表,形式如右:codice_20  換言之:  通常結果會被列印為:codice_21  因此codice_1操作會在既有列表的最前頭,新增一個元素。例如,如果"x"是上面定義的列表,那麼codice_23將產生列表:codice_24 。另一個有用的函式是codice_25,用於合併兩個列表。

  codice_1也容易建構出在葉片中儲存資料的二元樹。例如以下程式碼: codice_27 產生了一棵樹:  即  技術上,前例中的列表(1 2 3)恰巧是不平衡的二元樹。要看到這點,只需重新排列圖:  相當於以下:

  由於函數語言程式設計語言如 Haskell, LISP, Scheme都具備了一階函式,所以formula_1單元或其它種類的資料結構,都可使用函式實現。例如,在 Scheme 中: 這種技術被稱為邱奇編碼,實作出了codice_1、codice_12 和 codice_13操作,使用函式的特性來當作“cons cell”。邱奇編碼是一種在無型別的單純λ演算中,定義資料結構的常用方法,而λ演算則是可計算性質的理論抽象模型,與 Haskell, LISP, Scheme等函數語言程式設計語言密切相關。  這種實作雖然在學術上是有趣的,但不切實際,因為它使得單元與任何其他方案過程不可區分,以及引入不必要的計算低效。然而,相同種類的編碼可以用於具有變體的更復雜的代數資料型別,其中它甚至可能變得比其他型別的編碼更有效。這種編碼還具有可以在不具有變體的靜態型別語言(例如 Java)中實現的優點,使用介面而不是 lambdas。

  邱奇配對是以邱奇編碼的配對(二元組)型別,表示作用在兩個引數之上的函式。當給予引數時,它會將函式應用於該配對的兩個元件。 lambda演算中的定義是,  例如,
列表建構函式是用來構造列表的基本函式,在大多數 LISP 體系的計算機程式語言中,使用的函式名稱是codice_1。