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