<div class="gmail_quote">Hi, </div><div class="gmail_quote"><br></div><div class="gmail_quote">On Wed, May 25, 2011 at 11:09, Joe Armstrong <span dir="ltr"><<a href="mailto:erlang@gmail.com">erlang@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="gmail_quote"><div><div class="h5">On Wed, May 25, 2011 at 6:29 AM, Richard O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
<div>On 24/05/2011, at 8:06 PM, Joe Armstrong wrote:<br>
<br>
> Why do we need modules at all?<br>
<br>
</div>To hide data types,<br>
and to provide short names (we can import a function<br>
and not have to keep on repeating a long long name for it).<br>
<br>
I note, without recommendation either way,<br>
the existence of<br>
         local<br>
           <declarations><br>
        in<br>
           <declarations><br>
        end<br>
 in Standard ML, where the second lot of declarations<br>
defines things visible outside but the first lot<br>
defines things visible only inside this form.<br>
<div><br></div></blockquote></div></div><div>How about<br><br>public<br>    Functions etc.<br>private<br>    Functions etc.<br>end.<br><br>Functions etc is just a regular sequence of function defs macros, records etc.<br>

</div></div></blockquote><div><br></div><div>Where would this declaration be located? </div><div>This would in effect become a module definition, if I understand correctly? </div><div>Will it point out functions from the "sea of functions" out there and group them together? </div>

<div>What happens if some other such declaration says that my private functions are public?</div><div><br></div><div>I think I need to think more about this. I would start by trying to describe a user that sits down and wants to write a program. What would he need to do? What support is needed from the tools? </div>

<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="gmail_quote"><div>The use of the words public and private would attract hoards of programmers to our humble little<br>


language...<font class="Apple-style-span" color="#888888"><br></font></div></div></blockquote><div>:-)</div><div><br></div><div>/Vlad </div></div>