Content deleted Content added
revert user:Bgwhite's erroneous highlighting changes back to user:Cedar101's version |
→Example: + |
||
Line 34:
== Example ==
The following example illustrates the "ontology-oriented" type and declarations style of Go!:<ref name=applied />
<source>
Gender [[#algebraic|'''::=''']] male | female.
Line 60:
newPerson(Nm, Born, Sx, Hm) '''=>''' $person(Nm, Born, Sx, Hm).
</source>
{{anchor|algebraic}}The <code>::=</code> rule defines a new [[algebraic data type]], a [[data type]] with only data constructors.
|