Re: declaring properties

[Lennart Augustsson]

> I am wondering if it would be feasible to declare laws that are guaranteed
> to hold for some objects in a Haskell-like functional language.
It's feasible.  But you need a richer language than Haskell.
A language with dependent types would work.  Take a look at Cayenne.
It can express these kind of things.  
Look at http://www.cs.chalmers.se:/~augustss/cayenne/

     -- Lennart