Go! (programming language): Difference between revisions

Revision as of 17:51, 4 July 2012

Revision as of 21:24, 9 August 2012

Line 1:

{{Distinguish2|[[Go (programming language)]], a language released in 2009 by Google}}

{{Infobox programming language

| name = Go!

| logo =

| caption =

Line 23:

}}

'''Go!''' is an [[Agent-based model|agent-based]] programming language in the tradition of [[Logic programming|logic-based programming]] languages like [[Prolog]].<ref name="infowk">{{cite web|last=Claburn |first=Thomas |url=http://www.informationweek.com/news/software/web_services/showArticle.jhtml?articleID=221601351 |title=Google 'Go' Name Brings Accusations Of 'Evil' |publisher=InformationWeek |date=2009-11-11 |accessdate=2009-11-14}}</ref> It was introduced in a 2003 paper by Francis McCabe and [[Keith Clark]].<ref name="aamas"/>

In November 2009, [[Google]] released a similarly named [[Go (programming language)|Go programming language]] (with no [[exclamation point]]). McCabe asked Google to change the name of their language and accused the company of "steam-rolling over us".<ref name="infowk"/><ref>{{cite web|url=http://code.google.com/p/go/issues/detail?id=9 |title=Issue 9 - go - I have already used the name for *MY* programming language |publisher=code.google.com |date=2009-11-10 |accessdate=2009-11-14}}</ref> The issue received attention among technology news websites, with some of them characterizing Go! as "obscure".<ref>{{cite news|url=http://www.geek.com/articles/news/google-didnt-google-go-before-naming-their-programming-language-20091113/|title=Google didn’t google “Go” before naming their programming language |last=Brownlee |first=John |date=2009-11-13 |publisher=Geek.com |accessdate=2010-01-18}}</ref>

== Design ==

The authors of Go! describe it as "a [[multi-paradigm programming language]] that is oriented to the needs of programming secure, production quality, agent based applications. It is [[multi-threaded]], strongly typed and [[higher order function|higher order]] (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as [[Linda (coordination language)|Linda]]-style [[tuple space|tuple stores]]."<ref name="aamas">{{cite journal |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2003 |title= Go! for multi-threaded deliberative agents |journal=International Conference on Autonomous Agents (AAMAS'03) |pages=964–965 |url=http://portal.acm.org/citation.cfm?doid=860575.860747 | doi=10.1145/860575.860747 }}</ref>

The authors also propose that the language is suitable for representing [[Ontology (information science)|ontologies]] due to its integration of [[logic programming|logic]], [[functional programming|functional]] and [[imperative programming|imperative]] styles of programming. <ref name="applied">{{cite journal |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2006 |title=Ontology oriented programming in go! |journal=Applied Intelligence |volume=24 |issue=3 |pages=189–204 |doi=10.1145/860575.860747 }}</ref>

As a deliberate design choice to reduce complexity, Go! does not support [[inheritance (object-oriented programming)|inheritance]].

== Example ==

The following example illustrates the "ontology-oriented" type and declarations style of Go!:<ref name=applied />

<div style="text-transform: uppercase;">

Line 79:

==Further reading==

{{Refbegin}}

* {{cite paper |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2003 |title=Ontology Oriented Programming in Go! |url=http://www.doc.ic.ac.uk/~klc/DistKR.pdf }}

* {{cite journal |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2004 |title=Go!—AGo—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents |journal=Annals of Mathematics and Artificial Intelligence |volume=41 |issue=2–4 |pages=171–206 |url=http://portal.acm.org/citation.cfm?id=998367 |doi=10.1023/B:AMAI.0000031195.87297.d9 }}

* {{cite journal |author=R. Bordini et al. |year=2006 |title=A Survey of Programming Languages and Platforms for Multi-Agent Systems |journal=Informatica |volume=30 |pages=33–44 |url=http://www.informatica.si/vol30.htm }}

* {{cite journal |author=M. Fisher et al. |year=2007 |title=Computational Logics and Agents - A Roadmap of Current Technologies and Future Trends |journal=Computational Intelligence|volume=23 |issue=1 |pages=61–91 |url=http://www3.interscience.wiley.com/journal/118495224/issue |doi=10.1111/j.1467-8640.2007.00295.x }}

*{{cite book|last=McCabe|first=Francis G.|title=Lets Go!|url=http://books.google.com/books?isbn=0975444913|date=February 7, 2007|publisher=Network Agent Press|isbn=978-0-9754449-1-7}}

* {{cite conference |author=C. Varela et al.|year=2004 |title=On Modelling Agent Systems with Erlang | conference=ACM SIGPLAN Erlang Workshop '04|conferenceurl=http://ftp.sunet.se/pub/lang/erlang/workshop/2004/ }}

{{Refend}}

Line 89:

== External links ==

* [http://homepage.mac.com/frankmccabe/FileSharing1.html Download page] - An attempt to download files from this page on 2011-10-07 failed with the message "Access denied by access control list."

* [http://99-bottles-of-beer.net/language-go!-289.html Code sample on 99-bottles-of-beer.net]

[[Category:Programming languages created in 2003]]

Line 98:

{{compu-lang-stub}}

[[fr:Go! (langage de programmation)]]

[[ru:Go!]]