I guess it’s a big day for awards! My friend Eric points out that James Gosling, probably best known as the creator of Java, has been appointed to the Order of Canada by the Governor General. The CBC has more…
Monthly Archive for February, 2007
It only took 40 years, but a woman has finally been selected as the A.M. Turing Award Winner for “pioneering contributions to the theory and practice of optimizing compiler techniques that laid the foundation for modern optimizing compilers and automatic parallel execution.” Allen was also the first woman to be appointed an IBM fellow (1989). More info on Frances E. Allen…
Also discovered serendipitously: “The Invisible Women of Science and Technology”.
To make a long story very short: I spent many years programming large systems in C. If I had declared every function like this:
void *foo(void *arg,...);
everyone would have thought I was nuts (not to mention a really terrible programmer.) This is the nutshell version of why I don’t think I will personally ever understand the appeal of duck typing.
Having said that, I will probably make one more attempt to learn Ruby. I liked some of Ruby’s structures, it was just the duck-typing thing I couldn’t grok. I’ll give it one more try and maybe I’ll see what all the fuss is about this time. If not, at least I can honestly say I tried…
The ACM’s A.M. Turing Award is the Computer Sicence equivalent of the Nobel Prize or the Fields Medal in Mathematics. In 2005, the winner was Peter Naur “For fundamental contributions to programming language design and the definition of Algol 60, to compiler design, and to the art and practice of computer programming.” Naur’s essay “Programming as Theory Building” is one of my personal favourites (try using it as ammunition any time some client starts blathering on about how they’re going to build a “software factory” to build IT Systems just like they build cars—with programmers as completely interchangeable, disposable parts!)
But what’s weird is the Turing Lecture he gave, called “Computing Versus Human Thinking”. In it, he manages to trash Alan Turing, philosophy in general, all of psychology (especially cognitive psychology), and to accuse the ACM (among others) of censorship for declining to publish his papers on his theories of mental life. The lecture itself is a little hard to get a read on. He claims to have created a whole new model for human thinking, based almost entirely on the psychological works of William James (1890) and the neurological work of Charles Sherrington (1906). Everything studied or written since then he implies is hopelessly defective.
Hmmm…. Well, I suppose he could be right. Geniuses often see what others don’t. But I can’t help but be reminded of Stephen Wolfram’s “New Kind of Science”, in which he claimed that every scientist and mathematician who ever lived before him was completely blind and wrong and he alone of all humanity was brilliant enough to discover the truth of the universe. Ummm… ok. Possible, but not too plausible, doncha think?
Update: BTW, you can read the gory details of Naur’s Synapse-State Theory of Mental Life (pdf) and judge it for yourself.
