l i n u x - u s e r s - g r o u p - o f - d a v i s
L U G O D
 
Next Meeting:
October 7: Social gathering
Next Installfest:
TBD
Latest News:
Aug. 18: Discounts to "Velocity" in NY; come to tonight's "Photography" talk
Page last updated:
2006 Jun 04 21:03

The following is an archive of a post made to our 'vox-tech mailing list' by one of its subscribers.

Report this post as spam:

(Enter your email address)
Re: [vox-tech] C - passing chars and pointer to chars
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [vox-tech] C - passing chars and pointer to chars



On Sun, Jun 04, 2006 at 05:52:34PM -0500, Ken Bloom wrote:
> On Sunday 04 June 2006 13:58, Micah J. Cowan wrote:
> > On Sun, Jun 04, 2006 at 09:57:18AM -0500, Ken Bloom wrote:
> > > On Sunday 04 June 2006 09:05, Peter Jay Salzman wrote:
> > > > On Sat 03 Jun 06, 10:27 PM, Ken Bloom <kbloom@gmail.com> said:
> > > > > Cue, the **Fundemental axiom of the C++ type system**, stated
> > > > > as follows:
> > > > >   A* is automaitcally convertable to B* if and only if A is a
> > > > > B. (Likewise for pass by reference).
> > > > >
> > > > > (this is my own generalization though, and there may actually
> > > > > be exceptions)
> > > >
> > > > Although this was interesting to read, it doesn't say much other
> > > > than to restate my observation in a more sophisticated way.
> > >
> > > IMO, all that matters is that the axiom is the reason.
> >
> > Except the axiom is rather far from the truth, only an ideal.
> >
> > C++ is more strongly typed than C. I am not a language theorist, but
> > I believe it is still not considered "strongly typed".
> >
> > The ability to silently convert from int to char (your compiler might
> > actually complain about it in some circumstances: a compiler is
> > allowed to complain about whatever the hell it wants, but there's no
> > requirement to here, and in most cases, it won't) illustrates one
> > exception, certainly.
> 
> That's not an IS_A relationship. That's automatic conversion.

That was exactly my point. However, on looking back, I misread your
axiom to say "A is automatically convertable to B if and only if..."

My bad.

-- 
Micah J. Cowan
Programmer, musician, typesetting enthusiast, gamer...
http://micah.cowan.name/
_______________________________________________
vox-tech mailing list
vox-tech@lists.lugod.org
http://lists.lugod.org/mailman/listinfo/vox-tech



LinkedIn
LUGOD Group on LinkedIn
Sign up for LUGOD event announcements
Your email address:
facebook
LUGOD Group on Facebook
'Like' LUGOD on Facebook:

Hosting provided by:
Sunset Systems
Sunset Systems offers preconfigured Linux systems, remote system administration and custom software development.

LUGOD: Linux Users' Group of Davis
PO Box 2082, Davis, CA 95617
Contact Us

LUGOD is a 501(c)7 non-profit organization
based in Davis, California
and serving the Sacramento area.
"Linux" is a trademark of Linus Torvalds.

Sponsored in part by:
Appahost Applications
For a significant contribution towards our projector, and a generous donation to allow us to continue meeting at the Davis Library.