Cabal vs Haskell [sic]
haskell at davidb.org
Thu Apr 28 16:33:37 EDT 2005
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
> existing compiler/interpreter/language that enforces conformance of
> implementations with an intensional meaning. Nor are there languages
> 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.
More information about the Libraries