Boost logo

Boost Users :

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


Boost-users list run by williamkempf at hotmail.com, kalb at libertysoft.com, bjorn.karlsson at readsoft.com, gregod at cs.rpi.edu, wekempf at cox.net