Cabal vs Haskell [sic]

[David Brown]

On Thu, 28 Apr 2005 12:25:35 -0700, Benjamin Franksen  
<benjamin.franksen at bessy.de> wrote:

> While this sounds like a reasonable expectation, I still don't know of  
> any
> existing compiler/interpreter/language that enforces conformance of
> implementations with an intensional meaning. Nor are there languages  
> where
> the module's /name/, as it appears in an import clause, is associated
> statically and globally (i.e. world-wide) with such a specification.

Eiffel does allow pre-conditions, post-conditions, and invariants to be  
specified in the interface for a module.  Their whole computational model  
is so different, that I'm not sure how it would apply.

Dave