his comments on C are completely unfounded. C's type coercion means you can ram all sorts of things into places they aren't supposed to go. typecasting says to me that there is nothing orthodox about C at all. if anything it is modern protestantism, a faith that lets you ram in whatever you want, but one wrong move and you go to hell (segfault)