http://wiki.erights.org/mediawiki/index.php?title=Maker&feed=atom&action=historyMaker - Revision history2024-03-19T01:45:39ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Maker&diff=1791&oldid=prevKevin Reid at 23:10, 19 May 20092009-05-19T23:10:07Z<p></p>
<p><b>New page</b></p><div>'''Maker''': In E idiom, an object which returns new objects. Roughly corresponds to a class object in traditional OO with reified classes.<br />
<br />
def makePair(x, y) {<br />
def pair {<br />
to x() { return x }<br />
to y() { return y }<br />
}<br />
return pair<br />
}<br />
<br />
<code>makePair</code> is a maker.<br />
<br />
In [[E-on-Java]], each Java class has a maker object which has the constructors and static methods of that class.<br />
<br />
{{stub}}</div>Kevin Reid