Re: Some Dylan improvements

• To: info-dylan@ai.mit.edu
• Subject: Re: Some Dylan improvements
• From: daveb@tardis.ed.ac.uk (Dave Berry)
• Date: Sun, 9 Apr 2000 11:00:03 -0400 (EDT)
• Organization: The Tardis Project
• References: <38E1B578.BC05AD4E@cup.hp.com> <wk3dpaj9yj.fsf@double.co.nz>
• Xref: traf.lcs.mit.edu comp.lang.dylan:11804

In article <wk3dpaj9yj.fsf@double.co.nz>,
Chris Double  <chris@double.co.nz> wrote:
>> B) add a way to specify a module interface beyond mere names
>
>Would it be possible for the compiler to infer these type
>specifications? By putting that stuff in the module section, wouldn't
>it be just a duplication of what is already there?

OCaml is very neat in this respect.  If there isn't an interface,
it infers one.  If there is one, it checks that the implementation
matches it.

Dave.

• Some Dylan improvements
• From: Eric Gouriou <eric_gouriou@cup.hp.com>
• Re: Some Dylan improvements
• From: Chris Double <chris@double.co.nz>

• Prev: Re: Some Dylan improvements
• Next: Re: A basic question: defining modules and libraries
• Index(es):
  • Main
  • Thread