[TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages

Jason Wilkins 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
> A&M
> > 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.
> --
> MarkJ
> Tacoma, Washington

More information about the Types-list mailing list