Subject: Re: [Boost-users] [boost] [type_erasure] Review ends today July 27, 2012
From: Hossein Haeri (powerprogman_at_[hidden])
Date: 2012-08-02 07:57:47
Hi Dave,
> 1. Type erasure is Java's only answer for genericity, which is bad for
> performance.
>
> 2. Java does all its type erasure one object at a time, which leads to
> the dreaded binary method problem.
Well, these, AFAICU, make a distinctive difference. And, the distinction doesn't stop here: For example, Java's type erasure has a nasty effect on overload resolution too.
> Steven's library supports something a lot more like Haskell's
> implementation of generics.
Which is why I suggested calling it "staged typing"/"deferred typing".
Cheers,
--Hossein