B（プログラミング言語）

B は、1969 年頃にベル研究所でケン・トンプソンとデニス・リッチーによって開発されたプログラミング言語です。

B はBCPLから派生したもので、その名前は BCPL の短縮形である可能性があります。トンプソンの同僚であるデニス・リッチーは、その名前は、トンプソンがMulticsで使用するために設計した、以前の無関係なプログラミング言語である Bon に基づいているのではないかと推測しました。^{[注 1]}

Bは、システムや言語ソフトウェアなどの再帰的、非数値的、マシンに依存しないアプリケーション向けに設計されました。^[3] Bは型を持たない言語であり、唯一のデータ型は、基礎となるマシンの自然なメモリワード形式（それが何であれ）でした。コンテキストに応じて、ワードは整数またはメモリアドレスとして扱われました。

ASCII処理機能を備えたマシンが一般的になり、特にベル研究所に導入されたDEC PDP-11では、メモリ ワードに詰め込まれた文字データのサポートが重要になりました。言語の型なしの性質は欠点と見なされ、トンプソンとリッチーは新しい内部型とユーザー定義型をサポートする言語の拡張バージョンを開発しました。これがC プログラミング言語になりました。

SMALGOL構文を多く含むBCPLセマンティクス

— ケン・トンプソン、^[4]

1969年頃、ケン・トンプソン^[2]と後にデニス・リッチー^{[3]は、主にトンプソンが}Multicsプロジェクトで使用したBCPL言語をベースにBを開発した。Bは本質的には、当時のミニコンピュータのメモリ容量に収めるためにトンプソンが不要だと感じたコンポーネントをすべて取り除いたBCPLシステムだった。BCPLからBへの移行には、トンプソンの好みに合わせた変更も含まれていた（主に、一般的なプログラム内の非空白文字の数を減らすといったもの）。^{[2] BCPLの一般的な}ALGOL風の構文の多くは、このプロセスで大幅に変更された。代入演算子はRutishauserのSuperplanのに戻り、等号演算子は に置き換えられた。 :=====

x =+ yトンプソンは、 y を x に加算する構文を使用する「2 アドレス代入演算子」を追加しました(C では、演算子は と記述されます+=)。この構文は、B のコンパイラが最初に実装されたダグラス・マキロイのTMG実装に由来しています (TMG にはALGOL 68のx +:= y構文から来ました)。 ^{[2] [5]}トンプソンはさらに進んで、増分演算子と減分演算子 (++と--) を発明しました。これらの演算子の接頭辞または接尾辞の位置によって、オペランドの変更前に値が取得されるか、後に取得されるかが決まります。この革新は、B の初期のバージョンには存在しませんでした。デニス・リッチーによると、人々はこれらの演算子が DEC PDP-11 の自動増分および自動減分アドレス モード用に作成されたとよく考えていましたが、B が最初に開発されたときにはこのマシンは存在していなかったため、これは歴史的に不可能です。^[2]

forループのセミコロンバージョンは、スティーブン・ジョンソンの研究からケン・トンプソンが借用した。^[6]

B は型なし、またはより正確には 1 つのデータ型、つまりコンピュータ ワードを持っています。ほとんどの演算子 (たとえば+、、、)はこれを整数として扱いましたが、他の演算子はこれを逆参照されるメモリ アドレスとして扱いました-。他の多くの点で、B は C の初期バージョンによく似ていました。いくつかのライブラリ関数があり、その中にはC の標準 I/O ライブラリの関数に漠然と似ているものもあります。 ^[3] Thompson の言葉を借りれば、「B と古い古い C は、[C の] すべての型を除いて非常によく似た言語でした」。^[6]*/

初期の実装は、初期のUnixを使用したDEC PDP-7およびPDP-11ミニコンピュータ、およびオペレーティングシステムGCOSを実行するHoneywell GE 645 ^[7] 36ビットメインフレーム用でした。最も初期のPDP-7実装はスレッドコードにコンパイルされ、RitchieはTMGを使用してマシンコードを生成するコンパイラを作成しました。^{[8] [9] [10]} 1970年にPDP-11が購入され、スレッドコードが移植に使用されました。アセンブラ、 直流、およびB言語自体はコンピュータをブートストラップするためにBで書かれていました。yaccの初期バージョンはこのPDP -11構成で作成されました。この期間中、リッチーがメンテナンスを引き継ぎました。^{[2] [10]}

B の型なしの性質は、Honeywell、PDP-7、および多くの古いコンピュータでは理にかなったものでしたが、PDP-11 では問題がありました。PDP-11 やほとんどの最新のコンピュータが完全にサポートしている文字データ型にエレガントにアクセスすることが困難だったためです。1971 年から、Ritchie はコンパイラを変換してマシン コードを生成する際に言語に変更を加え、特に変数のデータ型を追加しました。1971 年から 1972 年にかけて、B は「New B」(NB) に進化し、その後 C になりました。^[2]

B言語はC言語に取って代わられ、ほぼ絶滅しています。^[11]しかし、小規模システムでのハードウェアの制限、膨大なライブラリ、ツール、ライセンスコストの問題、そして単に仕事に十分であることなど、さまざまな理由から、 GCOSメインフレーム（2014年現在^{[アップデート]}）^[12] や特定の組み込みシステム（2000年現在）では引き続き使用されています。^[11]非常に影響力のあるAberMUDは、もともとBで書かれていました 。^{[アップデート]}

以下の例はケン・トンプソンのBに関するユーザー向けリファレンスからの抜粋です: ^[3]

/* 次の関数は、2<=b<=10 である、基数 b の負でない数 n を出力します。このルーチンは
   、ANSCII 文字セットでは数字 0 から 9 が連続したコード値を持つ   という事実を利用します
   。 */


printn ( n , b ) { extrn putchar ; auto a ; /* Wikipedia 注記: auto キーワードは、C++11 のような「自動型付け」      ではなく、自動ストレージ (有効期間は関数スコープ)を持つ変数を宣言します      。 */ 
    
    
   



   if ( a = n / b ) /* 代入、等価性のテストではない */ printn ( a , b ); /* 再帰 */ putchar ( n % b + '0' ); } 
        
     

/* 次のプログラムは定数 e-2 を約
   4000 桁の 10 進数に計算し、5 文字ずつ 50 文字を 1 行に出力します。この方法は、
   展開      1/2! + 1/3! + ... = .111...の   単純な出力変換です。
   ここで、数字の基数は 2、3、4、... です。 */



main () { extrn putchar , n , v ; auto i , c , col , a ; 
      
       

   i = col = 0 ;一方( i < n ) v [ i ++ ] = 1 ;    
   
        

   while ( col < 2 * n ) { a = n + 1 ; c = i = 0 ; while ( i < n ) { c =+ v [ i ] * 10 ; v [ i ++ ] = c % a ; c =/ a -- ; } putchar ( c + '0' ); if ( ! ( ++ col % 5 )) putchar ( col % 50 ? ' ' : ' * n ' ); } putchar ( ' * n * n ' ); } 
        
          
       
           
           
           
      
      
      
         
   
   


v [ 2000 ]; 
n 2000 ; 

• Unix First Edition の b(1) のマニュアルページ
• C 言語の開発、Dennis M. Ritchie 。B をBCPLとCのコンテキストに位置付けます。
• B のユーザー リファレンス、Ken Thompson。PDP -11バージョンについて説明します。
• プログラミング言語 B、SC Johnson および BW Kernighan、技術レポート CS TR 8、ベル研究所( 1973年 1 月)。Honeywell機器のGCOSバージョン。
• B 言語リファレンス マニュアル、Thinkage Ltd. GCOS で使用される言語の製品バージョン (言語とランタイム ライブラリを含む)。