[TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
jason.a.wilkins at gmail.com
Mon Apr 22 19:37:13 EDT 2013
I'm not sure how your reply addresses my point at all. I'm here at the
epicenter of C++ and these guys know their theory quite well. It is far
from ad hoc hacking like was implied.
On Monday, April 22, 2013, Mark Janssen wrote:
> > It was implied that the designers of C++ are not using the abstract
> > mathematical tools provided by research, but that simply isn't true.
> > Making tractable extensions to C++'s generic programming capabilities
> > requires solid theory and the guys down the hall from me here at Texas
> > simply blow my mind with the kinds of things they are working on.
> Although the C++ folks have managed to create a mini Turing Machine in
> the preprocessing/generic language of C++, it should not be equated to
> the theoretical realm of lambda calculus, it is like conflating the
> domain of C||, the complex numbers, with R|| the domain of the real.
> The fact that one shares some similarities doesn't imply that they can
> be placed in the same group together.
> Tacoma, Washington
More information about the Types-list