From: "T. Onoma" <transami@...>
Date: 2003-11-22T11:58:31+09:00
Subject: Re: "stereotyping" (was: Re: Strong Typing (Re: Managing metadata about attribute types) )

On Saturday 22 November 2003 12:37 am, Yukihiro Matsumoto wrote:

> The only reason the result is _not_ available from post method is we
> don't have neat syntax construct.  Any proposal?

what is required of it? would a special keyword variable be enough?

    def greet:post(other_person)
       assert result
       assert other_person.married?
       assert self.married?
       assert_equal self, other_person.spouse
       assert_equal other_person, self.spouse
     end

Would yield be needed in these? If no, then you could use yeild, and result of 
function is passed to :post as block.

    def greet:post(other_person)
       assert yield
       assert other_person.married?
       assert self.married?
       assert_equal self, other_person.spouse
       assert_equal other_person, self.spouse
     end

Or is there something I am missing?