Boost Users :

Date view	Thread view	Subject view	Author view

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

Next message: Avinash K. Hathiramani: "Re: [Boost-users] Using <boost/math/distributions/non_central_t.hpp> gives unexpected error"
Previous message: John Maddock: "Re: [Boost-users] Using <boost/math/distributions/non_central_t.hpp> gives unexpected error"
Maybe in reply to: Lorenzo Caminiti: "[Boost-users] [boost] [type_erasure] Review ends today July 27, 2012"

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

Next message: Avinash K. Hathiramani: "Re: [Boost-users] Using <boost/math/distributions/non_central_t.hpp> gives unexpected error"
Previous message: John Maddock: "Re: [Boost-users] Using <boost/math/distributions/non_central_t.hpp> gives unexpected error"
Maybe in reply to: Lorenzo Caminiti: "[Boost-users] [boost] [type_erasure] Review ends today July 27, 2012"

Date view	Thread view	Subject view	Author view

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