Channels ▼

Christopher Diggins

Dr. Dobb's Bloggers

Proposed Design of the Heron Module System

December 23, 2009

I show here the design of the module system under consideration for Heron.

I am considering a design for the Heron module system that allows modules to be instantiated just like classes. While this system isn;t as powerful as that used inNewspeak andScala , it does seem to address some of the problems that I am aware of with other languages with weak or non-existent module systems:

1. No global mutable state.

2. Explicit programmer controlled initialization of modules

3. Parameters can be passed to module during construction

The Heron module bears a resemblance to the Scala approach of treating objects as modules, but is not as expressive (or complex). In fact that Heron module would be a class, that allows nesting of other classes in it, which ordinary classes don;t allow.

Here is an example of how the syntax might look in action:

    module M {

      fields {

        // State associated with particular module instances.

        x : int 

      }

      methods {

        // A module initializer

        Constructor(n : Int) {

          x = n;

        }

      }

      classes {

        class C {

          methods {

            Get() : Int { return M.x; }

            Set(n : Int) { M.x = n; }

          } 

        }

      }

    }


    module N {

      imports {

        M as module1;

        M as module2;

        Console; // Console as Console is implied here

      } 

      methods {

        Constructor() {

           // Construct the module instances

           // Order is specified. 

           // We could even do conditional module instantiation.

           m1 = new M();

           m2 = new M();

           Console = new Console();


           // Construct two different instances of class C, 

           // Both have the same type "M.C", but are associated 

           // with different instances of the module M 

           M.C c1 = new M1.C(0);

           M.C c2 = new M2.C(1);


           Console.WriteLine(c1.Get()); // 0

           Console.WriteLine(c2.Get()); // 1

           c2.Set(42);

           Console.WriteLine(c1.Get()); // 0

           Console.WriteLine(c2.Get()); // 42

        }

      }

    }

 

Related Reading


More Insights






Currently we allow the following HTML tags in comments:

Single tags

These tags can be used alone and don't need an ending tag.

<br> Defines a single line break

<hr> Defines a horizontal line

Matching tags

These require an ending tag - e.g. <i>italic text</i>

<a> Defines an anchor

<b> Defines bold text

<big> Defines big text

<blockquote> Defines a long quotation

<caption> Defines a table caption

<cite> Defines a citation

<code> Defines computer code text

<em> Defines emphasized text

<fieldset> Defines a border around elements in a form

<h1> This is heading 1

<h2> This is heading 2

<h3> This is heading 3

<h4> This is heading 4

<h5> This is heading 5

<h6> This is heading 6

<i> Defines italic text

<p> Defines a paragraph

<pre> Defines preformatted text

<q> Defines a short quotation

<samp> Defines sample computer code text

<small> Defines small text

<span> Defines a section in a document

<s> Defines strikethrough text

<strike> Defines strikethrough text

<strong> Defines strong text

<sub> Defines subscripted text

<sup> Defines superscripted text

<u> Defines underlined text

Dr. Dobb's encourages readers to engage in spirited, healthy debate, including taking us to task. However, Dr. Dobb's moderates all comments posted to our site, and reserves the right to modify or remove any content that it determines to be derogatory, offensive, inflammatory, vulgar, irrelevant/off-topic, racist or obvious marketing or spam. Dr. Dobb's further reserves the right to disable the profile of any commenter participating in said activities.

 
Disqus Tips To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy.
 


Video