From: Robert Dober <robert.dober@...>
Date: 2008-04-23T04:35:26+09:00
Subject: Re: Ruby and Contract Programming (was Ruby vs. Ada)

On Tue, Apr 22, 2008 at 9:10 PM, ThoML <micathom@gmail.com> wrote:
> > 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.
>
>
Yes that sounds very interesting indeed.
Thx
R.


-- 
http://ruby-smalltalk.blogspot.com/

---
Whereof one cannot speak, thereof one must be silent.
Ludwig Wittgenstein