Hi everybody. The geniuses over at AT&T Research have written a new dialect of C called Cyclone, touted as a "safe" C. It makes it very difficult to make mistakes such as dereferencing dangling pointers, memory leaks etc. It also supports some limited function polymorphism, pattern matching, strange subtyping, and other interesting stuff. To get it you need either gcc(nix) or cygwin. http://www.research.att.com/projects/cyclone/