Go! (プログラミング言語)

Go! は、Prologのような論理ベースのプログラミング言語の伝統を受け継いだエージェントベースのプログラミング言語です。^{[1] 2003 年に Francis McCabe と}Keith Clark による論文で紹介されました。^[2]

Go! の作者は、Go! を「安全で、製品品質の、エージェントベースのアプリケーションをプログラミングするニーズに重点を置いたマルチパラダイムプログラミング言語です。マルチスレッドで、強く型付けされ、高階です(関数型プログラミングの意味で)。関係、関数、アクション プロシージャの定義があります。スレッドはアクション プロシージャを実行し、必要に応じて関数を呼び出し、関係を照会します。異なるエージェントのスレッドは、非同期メッセージを使用して通信および調整します。同じエージェント内のスレッドは、Lindaスタイルのタプル ストアとして機能する共有の動的関係を使用することもできます。」と説明しています。 ^[2]

著者らはまた、この言語が論理、関数型、命令型のプログラミングスタイルを統合しているため、オントロジーを表現するのに適していると主張している。 ^[3]

次の例は、Go!の「オントロジー指向」の型と宣言のスタイルを示しています。^[3]

性別 ::= 男性 | 女性。

person  <~  { dayOfBirth: []  => 日. 
           age :[]  => 整数. 
           sex :[]  => 性別. 
           name :[]  => 文字列. 
           home :[]  => 文字列. 
           lives :[文字列]{}}.

人:[文字列, 日, 性別, 文字列]  $ = 人。

person ( Nm ,  Born ,  Sx ,  Hm )..{ 
  dayOfBirth ()  =>  Born . 
  age ()  =>  yearsBetween ( now ()、 Born ). 
  sex ()  =>  Sx . 
  name ()  =>  Nm . 
  home ()  =>  Hm . 
  lives ( Pl )  :-  Pl  =  home (). 
  yearsBetween: [ integer ,  day ]  =>  integer . 
  yearsBetween (...)  =>  .. 
}.

newPerson: [文字列, 日, 性別, 文字列]  => 人.

newPerson ( Nm 、 Born 、 Sx 、 Hm )  =>  $ person ( Nm 、 Born 、 Sx 、 Hm )。

• このルールは、データ コンストラクターのみを持つデータ型::=である新しい代数データ型を定義します。
• この<~ルールはインターフェース型を定義します。つまり、 の特性を示すとともに、これらのプロパティに型制約を与えます。 は整数値を持つ関数型プロパティであり、 は文字列に対する単項関係であり、 は型 のオブジェクトである値を持つ関数型プロパティであることpersonを文書化します。agelivesdayOfBirthday
• 型ルールは、型、、 の4 つの指定されたパラメータに基づいて型の特性プロパティを定義する理論(インターフェースを実装する理論) に対して、$=関数 を持つ理論ラベルも存在することを示します。personpersonpersonstringdaySexstring

2009年11月、Googleは似たような名前のGoプログラミング言語（感嘆符なし）をリリースした。マッケイブはGoogleに言語名の変更を求めた。彼らが「我々を圧倒している」ことを懸念したからだ。^{[1] [4]}この問題は技術ニュースサイトで注目を集め、Go!を「無名」と評するサイトもあった。^[5]この件に関して開かれた問題スレッドは、2010年10月12日にGoogleの開発者によってカスタムステータス「残念」で閉じられ、次のようなコメントが付けられた。「Goという名前のコンピューティング製品やサービスは数多くあります。我々のリリースから11か月が経ちましたが、2つの言語の混乱は最小限にとどまっています。」^[6]

• Githubページ
• 99-bottles-of-beer.net のコードサンプル