Can you summarize the following document?
        
  

  從技術的角度看,BETA提供了一些獨特的特徵。類和過程被統一成一個概念:模式。還有類被定義為物件的屬性/特性。這意味著類不能例項化而沒有顯式的物件上下文。這有一個結果就是BETA支援巢狀類。類可以被虛擬定義,就像多數物件導向程式語言中能見到的虛方法。虛擬實體(比如方法和類)永不能覆寫,它們轉而可以重新定義或特殊化。  BETA支援程式設計的物件導向視角,並有著針對過程式和函數語言程式設計的綜合性設施。它有著強力的抽象機制來支援物件識別、分類和複合。BETA是靜態型別的語言,就像Simula、Eiffel和C++,帶有編譯時間的多數型別的檢查。BETA的目標是在編譯時間型別檢查和執行時間型別檢查之間實現優化的平衡。

  這個語言的主要和獨特的特徵是模式的概念。在其他程式語言比如C++中,可能有很多類和過程。BETA使用模式來表達二者概念。  例如,一個簡單的C++類有如下形式  class point {  在BETA中,同樣的類可以表示為模式 point: (#  這個叫做codice_1的類有二個整數型別的欄位codice_2和codice_3。符號codice_4和codice_5介入模式。使用分號來宣告模式和變數。在欄位定義中整數型別之前的codice_6符號指定它們是整數字段,而非與之相對的引用、陣列或其他模式。  另一個比較,C++中的過程有如下形式  int max(int x, int y)  在BETA中,這個函式可以使用模式寫為 max: (# enter (x, y) do exit z  codice_2、codice_3和codice_9是區域性變數。codice_10關鍵字指定給這個模式的輸入引數,而codice_11關鍵字指定這個函式的結果。在二者之間,codice_12關鍵字字首於要做的一序列運算操作。條件塊用codice_13和codice_14來界定,就是說codice_15關鍵字成為了開和閉圓括號的一部分。真值通過在codice_15塊內的codice_17來檢查,最後,賦值算符codice_18將它左手側的值賦給它右手側的變數。

  下面的程式碼片段列印“Hello world!”: (# do ’Hello world!’->PutLine
BETA是一種純物件導向的程式語言,由克利斯登·奈加特為首的斯堪的納維亞學者開發,他們開發了第一個面嚮物件語言Simula。它的顯著特徵是,介入了,並將類和過程統一成所謂的模式。