From: ThoML <micathom@...>
Date: 2008-04-23T04:10:23+09:00
Subject: Re: Ruby and Contract Programming (was Ruby vs. Ada)

> Do you mean by this that CP could be done reasonably in Ruby now?

It depends what you mean with "reasonable". I have my doubts that such
a solution would cooperate well with all sorts of other meta-
programming libraries.

> You cannot just add features without paying a price

Maybe it's a specialization of a more general feature or maybe better
support for metaprogramming that is currently missing (like the
ability to rewrite code blocks/lambdas, intercepting certain method
calls, making system hooks more general/robust so that several
libraries can use method_added without interfering with one another
etc.).

Maybe this will one day become a ruby quiz:

Quiz #1: Implement class invariants in a robust/unbreakable way.
Implement method advises etc.

Quiz #2: Implement a library that breaks the solutions from #1.

If there is still a solution left, the answer to your question would
be yes.