Content deleted Content added
→Example: on balance - code footnotes and syntax highlighting trumps linked footnotes without highlighting. The choice of which (fake) lang works well may be tweaked, but this brings it more in line for readers |
remove random crap |
||
| (6 intermediate revisions by 5 users not shown) | |||
Line 13:
| latest_release_date =
| latest_test_version = 9-30-07
| latest_test_date = {{Start date and age
| typing = [[strong typing|strong]]
| implementations =
Line 29:
The authors of Go! describe it as "a [[multi-paradigm programming language]] that is oriented to the needs of programming secure, production quality and 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 needed. 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 book |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |title=Proceedings of the second international joint conference on Autonomous agents and multiagent systems |chapter=Go! For multi-threaded deliberative agents |year=2003 |pages=964–965 | doi=10.1145/860575.860747 |isbn=978-1581136838 |citeseerx=10.1.1.117.184 |s2cid=2047545 }}</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 | doi=10.1007/s10489-006-8511-x | title=Ontology oriented programming in go! | date=2006 | last1=Clark | first1=K. L. | last2=McCabe | first2=F. G. |
== Example ==
The following example illustrates the "ontology-oriented" type and declarations style of Go!:<ref name=applied />
<syntaxhighlight lang="
Sex ::= male | female.
Line 85:
[[Category:Concurrent programming languages]]
[[Category:Free
[[Category:Programming languages created in 2003]]
| |||