Re: Modules and interfaces

1995-09-27 Thread Simon L Peyton Jones
The goal of having a human-written interface is to give the programmer the opportunity to say (and document) just what the interface of a module is. I think of this as analogous to specifying a type signature for a function... often illuminating, but should not be obligatory. Especially when

Re: Modules and interfaces

1995-09-26 Thread F. Warren Burton
Simon and John, In practice, when do you want an interface other than the automatically generated one? In practice, except in the case of mutual recursive modules, do you ever need to modify an interface in order to get a program to do what you want? In theory, to what extent can the

Re: Modules and interfaces

1995-09-26 Thread Peter Thiemann
Hi all, as I am also a former sufferer from Modula-2's module system I'd like to support Manuel's opinion. But we do not need to reinvent the wheel, Wirth already corrected some problems with modules in M-2 in the design of Oberon! The idea is that each module is just *one* piece of human