Go! (programming language): Difference between revisions

Revision as of 13:19, 26 July 2015

Revision as of 02:59, 27 July 2015

Line 34:

== Example ==

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

<pre>

Gender [[#algebraic|'''::=''']] male | female.

Line 43:

home:[] '''=>''' ''string''.

lives:[''string'']{}}.

person:[''string'', ''day'', Gender, ''string''] [[#theory|'''$=''']] person.

person(Nm, Born, Sx, Hm)..{

dayOfBirth() '''=>''' Born.

Line 56:

yearsBetween(...) '''=>''' ..

}.

newPerson:[''string'', ''day'', Gender, ''string''] '''=>''' person.

newPerson(Nm, Born, Sx, Hm) '''=>''' $person(Nm, Born, Sx, Hm).

</pre>

{{anchor|algebraic}}The <code>::=</code> rule defines a new [[algebraic data type]], a [[data type]] with only data constructors.