Abstract type: Difference between revisions
Content added Content deleted
imported>Acediast (→Interface: added explicit scope delimiters for COMPUTE) |
m (→{{header|Standard ML}}: Completed closing tag.) |
||
| Line 3,243: | Line 3,243: | ||
The act of giving a signature to a module is called ascription. There are two type of ascription: |
The act of giving a signature to a module is called ascription. There are two type of ascription: |
||
Transparent (written <tt>:</tt) and opaque (written <tt>:></tt>). If a structure is ascribed transparently, |
Transparent (written <tt>:</tt>) and opaque (written <tt>:></tt>). If a structure is ascribed transparently, |
||
none of the types are abstract. If it is ascribed opaquely, all types are abstract by default, but can be specified |
none of the types are abstract. If it is ascribed opaquely, all types are abstract by default, but can be specified |
||
explicitly in the signature, in which case they are not abstract. |
explicitly in the signature, in which case they are not abstract. |
||