From: Arthur Chance <{spamtrap}@...>
Date: 2003-10-10T01:25:41+09:00
Subject: Re: von Rossum on Strong vs. Weak Typing

Seth Kurtzberg <seth@cql.com> writes:
[Me, on OO & H-M type inferencing not mixing]

> I don't disagree that you can't do full Hindley-Milner inferencing.
> However, I do disagree with the (common) assertion that if you can't
> do full HM inferencing, then it isn't useful to try and to _any_
> inferencing.

I wouldn't disagree with you in the slightest. That's one of the
reasons I'm interested in Moby.

-- 
2, 3, 3 & 37: the Prime Factors of the Beast.