<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br class=""><div><div class="">On 14 Nov 2014, at 15:54, Marco Servetto <<a href="mailto:marco.servetto@gmail.com">marco.servetto@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class=""><div class="">On 15 November 2014 06:36, Andrew P. Black <<a href="mailto:black@cs.pdx.edu">black@cs.pdx.edu</a>> wrote:<br class=""><blockquote type="cite"> But I really don’t want to use a different notation for parameterizing methods.<br class=""></blockquote><br class="">Ok, I may start getting boring and repetitive, but why we need<br class="">parametrized methods? can I have a single example of a parametrized<br class="">method that we want our beginner students to be able to</div></div></blockquote><div><br></div>— use: list<Number>.empty<br><br><blockquote type="cite"><div class=""><div class="">—design themsel[ves] ?<br class=""></div></div></blockquote></div><br class=""><div>I don’t see beginners designing methods with type parameters. But I do see them using them, assuming that their instructor teaches types.</div><div><br></div><div>The difficulty (and th motivation for a special notation) , is that we would like a <i>single</i> collections module, which can be used both by typeless and typed students.</div><div>So not only do we have to allow something like <i>list<Number>.empty</i>, we also have to allow <i>list.empty</i>.</div><div><br></div><div>Currently, that’s what the angle-braket syntax allows. <i>list.empty</i> means <i>list<Unknown>.empty.</i></div><div><i><br></i></div><div><i><span class="Apple-tab-span" style="white-space:pre"> </span>Andrew</i></div><div><i><br></i></div><div><br></div><div><br></div></body></html>