Can you summarize the following document?
        
  同像性一詞的原始來源是論文《編譯器語言的巨集指令擴充套件》。根據早期具影響力的論文《TRAC,文字處理語言》中提到: “主要設計目標之一是TRAC的輸入指令碼(使用者所輸入的)應該與指示TRAC處理器內部動作的文字相同一致。換句話說,TRAC程式應該是以字串被儲存於記憶體中,正如同使用者在鍵盤上鍵入它們一樣。如果TRAC程式本身發展成為新的程式,同一個指令碼中也應該陳述列出這些新程式。TRAC處理器在其操作中將此指令碼直譯為其程式。換句話說,TRAC解析器(處理器)有成效地將計算機轉換為具有新程式語言(TRAC 語言)的新計算機。程式或過程資訊在任何時候的呈現,都應該相同於TRAC處理器執行期間對其作用的形式。我們期望內部程式碼的字元表示,和外部程式碼表示相同一致或非常相似。在本TRAC實作中內部字元立基於ASCII,因為TRAC程式和文字在處理器內部和外部都具有相同的表示,所以術語同像性一詞是適用的,從涵義相同於符號呈現的意義。[...]”  依照道格拉斯·麥克羅伊的提議,依據Peirce,C.S.McIlroy M.D.的術語,“編譯器語言的巨集指令擴充套件”,ACM通訊,頁214-220; 1960年4月。  艾倫·凱在他1969年的博士論文中使用並可能推廣了同像性這個術語: “所有先前的系統之外,顯著的一組例外是Interactive LISP[...]和TRAC。兩者都是函式導向的(一為列表,另一為字串),都用一種語言與使用者交談,並且都具有 “同像性的”,因為它們內部和外部表示本質上相同。它們都具有動態建立新函式的能力,然後可隨著使用者的興趣進階發展。他們唯一最大的缺點是,以它們寫出的程式看起來像是蘇美人把Burniburiach國王的信寫成巴比倫楔形文![...]”

  同像性的一個優點是,以新概念擴充套件語言通常變得更簡單,因為表示程式碼的資料可在程式的元和基本層之間傳遞。函式的抽象語法樹可以作為元層中的資料結構來組成和操作,然後被評估。它可以更容易理解如何操作程式碼,因為它可以被理解為簡單的資料(語言本身的格式亦同為資料格式)。  允許這樣做的簡單性也帶來了一個缺點:一個部落格認為,至少在類似LISP的列表導向的語言的情況下,它會消除許多能幫助人們分析語言結構的視覺線索,而可能導致陡峭的學習曲線。參見文章 “The Lisp Curse”。  同像性的典型演示是元迴圈求值(meta-circular evaluator, 同REPL)。

  所有範紐曼型架構的系統,其中包括絕大多數當今的通用計算機,由於原始機器程式碼在記憶體中執行的資料型別是位元組,可以隱含地描述為具有同像性。但是這個功能也可以在程式語言層別就抽取出來。  Lisp及其方言例如Scheme,Clojure,Racket等,使用S-表示式來實現同像性。  其他被認為具有同像性的語言包括:

  

  Lisp使用S-表示式作為資料和原始碼的外部表示。可以用基本函式codice_1讀取S-表示式。codice_1回傳Lisp資料:列表,符號,數字,字串。基本函式codice_3使用以資料形式呈現的Lisp原始碼,計算副作用並得出返回結果。結果由基本函式codice_4列印出來,從Lisp資料產生一個外部的S-表示式。  Lisp資料是含有不同型別的列表:(子)列表,符號,字串和整數。  以下Lisp原始碼範例使用列表,符號和數字。  使用基本函式codice_5產生上面的表示式,並將變數EXPRESSION設定為結果  (setf expression (list '* (list'sin 1.1) (list 'cos 2.03)) ) -> (* (SIN 1.1) (COS 2.03)) ; Lisp傳回並列印結果  (third expression) ; 表示式中的第三項 -> (COS 2.03) 將codice_6這項變更為codice_7  評估表示式  -> 0.7988834 將表示式列印到字串  -> "(* (SIN 1.1) (SIN 2.03))" 從字串中讀取表示式  -> (* (SIN 1.1) (SIN 2.03)) ; 傳回一個其中有列表,數字和符號的列表
在計算機程式設計中,同像性(homoiconicity,來自希臘語單詞 homo,意為與符號含義表示相同)是某些程式語言的特殊屬性,它意味著一個程式的結構與其句法是相似的,因此易於通過閱讀程式來推測程式的內在涵義。如果一門程式語言具備了同像性,說明該語言的文字表示(通常指原始碼)與其抽象語法樹(AST)具有相同的結構(即,AST 和語法是同形的)。該特性允許使用相同的表示語法,將語言中的所有程式碼當成資料,來存取以及轉換,提供了“程式碼即資料”的理論前提。