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