From: SER Date: 2004-05-14T08:38:50+09:00 Subject: Re: [OT]Is Ruby Top 1 of Programming Languages that are Loved? > yet, ocaml is OO and can do type inference anyway Sorry. I didn't mean to imply that you can't do type inference with OO languages. In fact, reading back over my post, I'm convinced that it was Evil Sean that wrote the post, because I don't know what I was thinking when I constructed that "because" clause. However, you've restated my proposal clearly. In Ruby's case, the best we'd be able to do is check the duck-type, and we agree that this would be pretty useful. I didn't know that type inference in Python actually improved code execution speeds; that's pretty interesting. --- SER