Revision as of 02:31, 26 February 2012 edit 24.227.222.61 (talk) →Example: changed the tilde character in <~ to be more readable. ← Previous edit		Revision as of 10:31, 26 February 2012 edit undo Cybercobra (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 68,187 edits Reverted good faith edits by 24.227.222.61 (talk): Inaccurate (assuming the example code was accurately transcribed). (TW) Next edit →
Line 70: The <code>::=</code> rule defines a new [[algebraic data type]], a [[data type]] with only data constructors. The <code><~˜</code> rule defines an interface type - it indicates what properties are characteristic of a <code>person</code> and also gives type constraints on these properties. It documents that <code>age</code> is a functional property with an integer value, that <code>lives</code> is a unary relation over strings, and that <code>dayOfBirth</code> is a functional property with a value that is an object of type <code>day</code>. The <code>$=</code> type rule indicates that there is also a theory label, with the functor <code>person</code>, for a theory that defines the characteristic properties of the <code>person</code> type - implements the <code>person</code> interface - in terms of four given parameters of types string, <code>day</code>, <code>Gender</code>, and string.

Go! (programming language): Difference between revisions