Linked by Thom Holwerda on Sun 31st Jul 2005 11:38 UTC, submitted by anonymous
The first technical papers have been made publicly available from the ADHOC (The Advanced Developers Hands On Conference) website. It includes, but is not limited to: "Cross-Platform Approaches from a Macintosh Perspective", "Hacking the Mac OS X Kernel for Unsupported Machines", "Program Analysis and Verification on Mac OS X".
Thread beginning with comment 11613
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
Member since:
Member since:Hi, I'm Ryan Wilcox, the author of the paper.
I would agree with the previous comment that C is mostly weakly typed, and C++ is strongly. The only thing that is "strongly typed" about C is that you can't pass one kind of struct into a function that expects another. Base types in C are weakly typed (you'll just get a warning, if you get that at all, about passing a long as a parameter to a function that takes a short.)
C++ is strongly typed - while you can make unsafe casts (cue dynamic_cast<> 
) you can't pass a Circle as a parameter to a function that accepts a Square.
Feel free to comment on my paper on my blog too, as I'm more apt to see it there.
Thanks,
_Ryan Wilcox
http://radio.weblogs.com/0100544/2005/07/31.html#a1155
Member since:
It's a minor point, but in the Types++ paper summary...
C/C++ (and other strongly, statically typed languages)
Isn't C/C++ generally considered a weakly statically typed language? That is, you're able to cast to a different type even when doing so is unsafe?