Xavierbot is an OCaml IRC bot that we sometimes use on the Freenode #ocaml
channel for teaching OCaml to new users. I say “sometimes” because some channel users have objected to having a bot in the channel, to which I say they should send the xavierbot, shut up
command.
OCaml is of course the fantastic expressive/safe programming language which is the main reason why I’m very cynical in person about programming as a profession. You’re still using C/C++/Perl/Python/Ruby/Java/…? Why have we not left the programming equivalent of the 1970s yet?
There’s a new version of Xavierbot here: http://people.redhat.com/~rjones/xavierbot/
Alas, I’m still waiting for a modern system programming language. For a while I was hoping it’s going to be BitC but progress seems to have stalled and they might be retargeting towards virtual machines instead of raw hardware…
Rich, I agree completely about the joys of typed functional programming in general and OCaml in particular. But I note that Landin developed ISWIM in 1966; perhaps ML-family languages don’t represent as much of an escape from 1970s-vintage technology as we might hope. Indeed, one could argue that the current state of our profession has yet to catch up with the 1970s.