BETA (プログラミング言語)

BETAは純粋なオブジェクト指向言語であり、オブジェクト指向の「スカンジナビア学派」から生まれた言語で、最初のオブジェクト指向言語Simulaが開発されました。^{[1]注目すべき機能としては、}ネストされたクラスを導入し、クラスをプロシージャと統合していわゆるパターンにまとめた点が挙げられます。

このプロジェクトは2020年10月現在非アクティブです。^[2]

技術的な観点から見ると、BETA はいくつかの独自の機能を提供します。クラスとプロシージャは、パターンという 1 つの概念に統合されています。また、クラスはオブジェクトのプロパティ/属性として定義されます。つまり、明示的なオブジェクト コンテキストがなければクラスをインスタンス化することはできません。この結果、BETA はネストされたクラスをサポートします。クラスは、ほとんどのオブジェクト指向プログラミング言語の仮想メソッドと同様に、仮想的に定義できます。仮想エンティティ (メソッドやクラスなど) は上書きされることはありません。代わりに、再定義または特殊化されます。

BETAはプログラミングにおけるオブジェクト指向の観点をサポートし、手続き型プログラミングと関数型プログラミングのための包括的な機能を備えています。オブジェクトの識別、分類、構成をサポートする強力な抽象化メカニズムを備えています。BETAはSimula、Eiffel、C++のような静的型付け言語であり、ほとんどの型チェックはコンパイル時に行われます。^[1] BETAはコンパイル時の型チェックと実行時の型チェックの最適なバランスを実現することを目指しています。

この言語の主要かつ独特な特徴は、パターンの概念です。C++などの他のプログラミング言語では、複数のクラスとプロシージャを使用します。 BETA では、これらの概念の両方をパターンを使用して表現します。

例えば、C++の単純なクラスは次の形式になります。

クラスポイント{ int x , y ; };  
      

ベータ版では、同じクラスを次のパターンで表すことができました。

点: ( # x , y : @整数# ) 
      

つまり、pointというクラスには、 integer型のxとyという2 つのフィールドがあります。記号(#と#)はパターンを表します。コロンはパターンと変数を宣言するために使用されます。フィールド定義の integer 型の前の@記号は、これらが整数フィールドであり、参照、配列、またはその他のパタ​​ーンではないことを指定します。

別の比較として、C++の手続きは次の形式になる。

int max ( int x , int y ) { if ( x >= y ) { return x ; } else { return y ; } }    

       
    
         
    
    
    
         
    

ベータ版では、このような関数はパターンを使って記述することができた。

max : ( # x , y , z : @ integer enter ( x , y ) do ( if x >= y // True then x -> z else y -> z if ) exit z # ) 
       
  

        
          
    
          
    
 

x 、y、zはローカル変数です。enterキーワードはパターンへの入力パラメータを指定し、exitキーワードは関数の結果を指定します。この 2 つのキーワードの間には、doキーワードが実行される一連の操作のプレフィックスとして付きます。条件ブロックは(ifとif)で区切られます。つまり、ifキーワードは開き括弧と閉じ括弧の一部になります。真偽は、 if ブロック内の// Trueによってチェックされます。最後に、代入演算子-> が左側の値を右側の変数に代入します。

このスニペットは標準の行「Hello world!」を出力します。

（#
'Hello world!' を実行します ->PutLine
#)

• Ole Lehrmann Madsen、Birger Møller-Pedersen、Kristen Nygaard: BETA プログラミング言語におけるオブジェクト指向プログラミング、Mjølner システム: 書籍
• Bent Bruun Kristensen、Ole Lehrmann Madsen、Birger Møller-Pedersen: BETA プログラミング言語の登場の理由と経緯、ACM プログラミング言語の歴史 III、カンファレンス、サンディエゴ 2007、[2]

• 公式サイト
• gbeta 一般化ベータ