On Wed, Oct 21, 1998 10:52 Uhr, Lennart Augustsson
<mailto:[EMAIL PROTECTED]> answered my musings:
>> 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/
Thank you. I had a look a couple months back but I would be glad if you
could provide a small example (please do not use your obfuscating skills
:-)
Gabor
