[ruby-talk:01400] Re: Some Questions - Parameterised Types / Invariants

I wanted to learn ruby. But I wanted to unsubscribe to this mailing list. I
am loosing other important mails because of ruby mailing list.

If you can make a news group, that will be better.

Can anybody please help me.

Radha

----- Original Message -----
From: "Andrew Hunt" <[e-mail]>
To: "ruby-talk ML" <[e-mail]>
Sent: Tuesday, February 15, 2000 9:59 AM
Subject: [ruby-talk:01392] Re: Some Questions - Parameterised Types /
Invariants


> >1. Parameterised Types / Template Classes
> >
> >Are there any plans to add the above to Ruby? If not how do you guys
> >think the best way to implement type (class) safe generic data
> >structures is?
>
> Since Ruby is typeless, I'm not sure what you mean here.  You could
> always overload add on a container to ensure elements were of a
> certain type, or responded to a certain method.
>
> >2. Invariants / Pre|Post Conditions
> >
> >Is there anything in the works to be able to have Eiffel-like invariants
> >and pre/post conditions without having an overhead of checking for a
>
> I've been working on this off and on, and have developed several
> solutions to add invariants and pre- and postconditions that
> behave properly with inheritance and so on.  As soon as we get
> the next major portion of the Ruby book out of the way, I hope
> to get back to this.
>
> /\ndy
>
>
> --
> Andrew Hunt, The Pragmatic Programmers, LLC.
> Innovative Object-Oriented Software Development
> web:   http://www.pragmaticprogrammer.com   email:
[e-mail]
> --
> Our New Book: "The Pragmatic Programmer" Published by Addison-Wesley Oct
1999
>               (see www.pragmaticprogrammer.com/ppbook)
> --
>