Re: [Boost-users] [boost] [type_erasure] Review ends today July 27, 2012

Subject: Re: [Boost-users] [boost] [type_erasure] Review ends today July 27, 2012
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2012-07-27 14:36:58

AMDG

On 07/27/2012 07:38 AM, Hossein Haeri wrote:
> Hi Lorenzo,
> 
> Here is my two pennies...
> 

Thank you for your review.

> I should start by saying that, lately, I have not done a lot of C++. I have certainly not made a lot of Boost usages. In fact, despite the fact that my research is about C++, for certain reasons to do with formalisms, I these days develop most of my software in Scala. So, part of my low-quality review might have roots in that.
> 
> Whilst, with my particular situation explained above, I only read the Boost list to keep up with the news, your post stroke me for a particular reason: Type Erasure has a specific meaning in the Java world that has several times bit me hard over my Scala development. (See my threads on the topic to see that I publicly announce that I believe "type erasure is by far the ugliest dwarf I have ever witnessed mankind creating in a programming language."
> 
> Having said that, I opened your post thinking what a mistake it would be to bring nasty Java stuff to C++. To my big surprise, though, your stuff is nowhere close to what I understand is known in the JVM world as Type Erasure. So, I strongly recommend, as my first comment, to think about renaming the library because...
> 
>> The Boost.TypeErasure library solves these problems allowing us to
>> mirror static generic programming at runtime.
> 
> ... rather than this, JVM Type Erasure is about knowingly choosing to be completely oblivious against types from the early compilation stages onwards. Whereas your stuff simply postpones certain typing decisions. For that reason, you might for example want to call your library "Staged Typing" or "Deferred Typing". (Both of these are established research topics in programming languages. Please note that you're not doing "Gentle Typing" or "Gradual Typing".)
> 
> On the other hand, JVM type erasure doesn't solve any of the problems your stuff does. As a matter of fact, in many occasions, it even makes the situation worse. For similar facilities to that of yours, your might want to take a look into the Scala Macro system.
> 

I have to admit that I'm not particularly knowledgeable
about the JVM world.  Type erasure is established
terminology in C++/Boost though.

In Christ,
Steven Watanabe