Re: Cabal vs Haskell [sic]

On Thu, 28 Apr 2005 12:25:35 -0700, Benjamin Franksen 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