<?xml version="1.0"?>
<?xml-stylesheet type="text/css" href="http://wiki.erights.org/mediawiki/skins/common/feed.css?207"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
	<channel>
		<title>Maker - Revision history</title>
		<link>http://wiki.erights.org/mediawiki/index.php?title=Maker&amp;action=history</link>
		<description>Revision history for this page on the wiki</description>
		<language>en</language>
		<generator>MediaWiki 1.15.5-7</generator>
		<lastBuildDate>Fri, 24 Apr 2026 12:40:33 GMT</lastBuildDate>
		<item>
			<title>Kevin Reid at 23:10, 19 May 2009</title>
			<link>http://wiki.erights.org/mediawiki/index.php?title=Maker&amp;diff=1791&amp;oldid=prev</link>
			<guid>http://wiki.erights.org/mediawiki/index.php?title=Maker&amp;diff=1791&amp;oldid=prev</guid>
			<description>&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;'''Maker''': In E idiom, an object which returns new objects. Roughly corresponds to a class object in traditional OO with reified classes.&lt;br /&gt;
&lt;br /&gt;
 def makePair(x, y) {&lt;br /&gt;
     def pair {&lt;br /&gt;
         to x() { return x }&lt;br /&gt;
         to y() { return y }&lt;br /&gt;
     }&lt;br /&gt;
     return pair&lt;br /&gt;
 }&lt;br /&gt;
&lt;br /&gt;
&amp;lt;code&amp;gt;makePair&amp;lt;/code&amp;gt; is a maker.&lt;br /&gt;
&lt;br /&gt;
In [[E-on-Java]], each Java class has a maker object which has the constructors and static methods of that class.&lt;br /&gt;
&lt;br /&gt;
{{stub}}&lt;/div&gt;</description>
			<pubDate>Tue, 19 May 2009 23:10:07 GMT</pubDate>			<dc:creator>Kevin Reid</dc:creator>			<comments>http://wiki.erights.org/wiki/Talk:Maker</comments>		</item>
	</channel>
</rss>